Metalogic: an introduction to the metatheory of standard first order logic. - Hunter, Geoffrey (London, Macmillan, 1971)
Includes bibliographical references and index
1
Keywords: First-order logic