edited by H.E. Rose and J.C. Shepherdson

North-Holland Pub. Co , American Elsevier Pub. Co. 1975 Studies in logic and the foundations of mathematics v. 80

: North-Holland , : American Elsevier

所蔵館39館