Metalogic : an introduction to the metatheory of standard first o rder logic - Hunter, Geoffrey (LOndon : Macmillan, 1971)
Bibliography: (p. 262-274)
Keywords: First-order logic