Logic symposia proceedings - Mullar G H ed.; Symposia on the Foundations of Mathematics( 1979-80 : Hakone,Japan ); Symposia on the Foundations of Mathematics Hakone, Japan 1979-80 (Berlin Springer-Verlag, 1981)
Keywords: Mathematical logic