Logic Symposia, Hakone, 1979, 1980 proceedings of a conference held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Logic Symposia, Hakone, 1979, 1980 proceedings of a conference held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
edited by G.H. Mèuller, G. Takeuti, and T. Tugué
- Berlin Springer-Verlag 1981
- xi, 394 p 25 cm
- Lecture notes in mathematics (Springer-Verlag) 891 .
Cuprinde bibliografie pe capitole
3540111611
81018424
Cuprinde bibliografie pe capitole
3540111611
81018424