TY  - BOOK
AU  - Muller,Gert Heinz
AU  - Takeuti,Gaisi
AU  - Tugue,Tosiyuki
ED  - Logic Symposia
ED  - Logic Symposia
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 / Ed. by A. Dold, B. Eckmann
SN  - 0387111611 (U.S. : pbk.)
U1  - 510 s511.3 19
PY  - 1981///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
KW  - Congresses
N1  - Includes bibliogr. references
ER  -