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