edited by A.S. Troelstra and D. van Dalen

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science 1982 Studies in logic and the foundations of mathematics v. 110

所蔵館44館