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