editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers

North-Holland 1986 Studies in logic and the foundations of mathematics v. 120

所蔵館39館