Metalogic : an introduction to the metatheory of standard first order logic
紙書籍, English, 1973
Paper-bound edition
University of California Press, Berkeley and Los Angeles, 1973