Geoffrey Hunter

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

This work makes available to readers without specialized training in mathematics complete proofs of

Geoffrey Hunter