TY  - GEN
AU  - Muller, G. H
AU  - Takeuti, Gaisi
AU  - Tugue, T
TI  - Logic Symposia, Hakone, 1979, 1980: proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
T2  - Lecture notes in mathematics
SN  - 0387111611 (New York : pbk.)
U1  - 510 s511.3 
PY  - 1981///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
KW  - Congresses
N1  - Cuprinde bibliografie pe capitole
ER  -