Metalogic An introduction to the metatheolory of standard first order logic. - Hunter Geoffery (Oxford Macmillan, 1971)