TY - BOOK AU - Geoffrey Hunter TI - Metalogic: an introduction to the metatheory of standard first order logic U1 - 511.3 PB - Macmittan And Co. Ltd. London KW - Philosophy ER -