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 /
Ed. by G.H. Muller, G. Takeuti, and T. Tugue.
- Berlin ; New York : Springer-Verlag, 1981.
- xi, 394 p. ; 25 cm.
- Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 891 .
- Lecture notes in mathematics (Springer-Verlag) 891. .
Includes bibliogr. references
0387111611 (U.S. : pbk.)
Logic, Symbolic and mathematical--Congresses.
510 s 511.3
Includes bibliogr. references
0387111611 (U.S. : pbk.)
Logic, Symbolic and mathematical--Congresses.
510 s 511.3
All site content, except where otherwise noted, is licensed under a