English Beginner Metalogic: An Introduction to the Metatheory of Standard First Order Logic Geoffrey Hunter 1996 View book