Metalogic an introduction to the metatheory of standard first order logic

Metalogic an introduction to the metatheory of standard first order logic

Bibliographic Details
Main Author: Hunter, Geoffrey
Format: Book
Language:English
Published: Berkeley University of California Press 1971.
Subjects:
First-order logic.