RT Conference Proceedings DB /z-wcorg/ DS http://worldcat.org ID 7944723 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 Logic Symposia, Müller, G. H., Takeuti, Gaisi,, Tugué, T., Logic Symposia, PB Springer-Verlag PP Berlin; New York YR 1981 SN 0387111611 9780387111612 3540111611 9783540111610