English Beginner Metalogic - An Intro. to the Metatheory of Std First Order Logic G. Hunter 1971 View book