Logic Symposia, Hakone, 1979, 1980
Subtitle: proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
By: edited by G.H. Müller, G. Takeuti, and T. Tugué.
Contributors: Müller, G. H. 1923-; Takeuti, Gaisi, 1926-; Tugué, T. 1926-; Logic Symposia (1980 : Hakone-machi, Japan)
Series: Lecture notes in mathematics ;; 891; Lecture notes in mathematics (Springer-Verlag) ;; 891.
Publisher: Springer-Verlag
Published: 1981
Place of publication: Berlin; New York
Language: eng
Number of pages: 394
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies.