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