Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Enregistré dans:
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 :
Logique mathématique > Actes de congrès
Description
Notes : Actes de deux congrès : symposia on the foundations of mathematics, "Proj. no. 234002('79)" et "Proj. no. 434007 ('80)" organisés respectivement du 21 au 24 mars 1979 et du 4 au 7 février, à Gôra, Hakone (Japon)
Préface en japonais
Bibliographie : Notes bibliogr.
ISBN : 0-387-11161-1
3-540-11161-1