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. Muller, G. Takeuti, and T. Tugue
- Berlin New York Springer-Verlag c1981
- xi, 394 p 24 cm
- Lecture notes in mathematics 891 ISSN 0075-8434 .
- Lecture notes in mathematics (Springer-Verlag) .
Cuprinde bibliografie pe capitole
0387111611 (New York : pbk.) 3540111611 (Berlin : pbk.)
81018424
Logic, Symbolic and mathematical--Congresses
510 s 511.3
Cuprinde bibliografie pe capitole
0387111611 (New York : pbk.) 3540111611 (Berlin : pbk.)
81018424
Logic, Symbolic and mathematical--Congresses
510 s 511.3