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/
edited by G. H. Müller, G. Takeuti, and T. Tugué.
- Berlin ; New York: Springer-Verlag, 1981.
- xi, 394 p. ; 25 cm.
- Lecture notes in mathematics ; 891. .
- Lecture notes in mathematics (Springer-Verlag); 891. .
Includes bibliographies.
0387111611 (U.S. : pbk.)
81018424
Logic, Symbolic and mathematical---Congresses.
510 s 511.3
Includes bibliographies.
0387111611 (U.S. : pbk.)
81018424
Logic, Symbolic and mathematical---Congresses.
510 s 511.3