Metalogic : an introduction to the metatheory of standard first o rder logic /
Hunter, Geoffrey
Metalogic : an introduction to the metatheory of standard first o rder logic / Geoffry Hunter - LOndon : Macmillan , 1971. - xiii, 288p. : ill. ; 23cm
Bibliography: (p. 262-274)
First-order logic
511.3 HUN
Metalogic : an introduction to the metatheory of standard first o rder logic / Geoffry Hunter - LOndon : Macmillan , 1971. - xiii, 288p. : ill. ; 23cm
Bibliography: (p. 262-274)
First-order logic
511.3 HUN