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