1.
電子ブック |
by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise
|
|||||||
2.
電子ブック |
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
|
|||||||
3.
電子ブック |
edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov
|
|||||||
4.
電子ブック |
edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
|