![close close](/opc/sites/all/modules/xc/xc_search/images/alert-close.png)
1.
電子ブック |
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
|
|||||||||
2.
電子ブック |
edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
|