Metalogic an introduction to the metheory of standard first order logic - Hunter Geoffrey (London Macmillan UK, 1971)
Keywords: LOGIC; PHILOSOPHY