Détails bibliographiques
| Auteur principal : |
Logic Symposia |
| Collectivités auteurs : |
Logic Symposia 1979 Hakone, Japon
(Auteur),
Logic Symposia 1980 Hakone, Japon
(Auteur) |
| Autres auteurs : |
Müller Gert Heinz
(Éditeur scientifique),
Takeuchi Gaishi
(Éditeur scientifique),
Tugué Tosiyuki
(Éditeur scientifique) |
| Format : |
Livre |
| Langue : |
anglais |
| Titre complet : |
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / ed. by G.H. Müller, G. Takeuti, and T. Tugué |
| Publié : |
Berlin, New York :
Springer-Verlag
, cop. 1981
|
| Description matérielle : |
1 vol. (XI-394 p.) |
| Collection : |
Lecture notes in mathematics ; 891
|
| Sujets : |
|
Nantilus
