Metalogic an introduction to the metatheory of standard first order logic
Hunter, Geoffrey.
London Macmillan
1971
Pbk. £1.90. sbn 333-11590-2
bibl p262-274
Logic, Symbolic and mathematical.