Metalogic an introduction to the metatheory of standard first order logic - Hunter, Geoffrey (University of California Press, 1971)