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