RT Conference Proceedings DB /z-wcorg/ DS http://worldcat.org ID 465469968 LA English T1 Logic symposia, Hakone 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 A1 Müller, G. H., Takeuti, G., Tugué, T., Symposium on the Foundations of Mathematics:, Symposium on the Foundations of Mathematics:, PB Springer PP Berlin YR 1981 SN 3540111611 9783540111610 0387111611 9780387111612