Bibliographic Details
Main Author : |
Logic Symposia |
Corporate Authors : |
Logic Symposia 1979 Hakone, Japon
(Auteur),
Logic Symposia 1980 Hakone, Japon
(Auteur) |
Other Authors : |
Müller Gert Heinz
(Éditeur scientifique),
Takeuchi Gaishi
(Éditeur scientifique),
Tugué Tosiyuki
(Éditeur scientifique) |
Format : |
Book |
Language : |
anglais |
Title statement : |
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é |
Published : |
Berlin, New York :
Springer-Verlag
, cop. 1981
|
Physical Description : |
1 vol. (XI-394 p.) |
Series : |
Lecture notes in mathematics ; 891
|
Subjects : |
|