TY  - DATA
AU  - G.H. Müller
AU  -  G. Takeuti
AU  -  T. Tugue
TI  - Logic Symposia, Hakone, 1979, 1980
T2  - Lecture Notes in Mathematics
SN  - 9783540386339
PY  - 1981///
CY  - Heidelberg
PB  - Springer Berlin
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/BFb0090974
ER  -