Metalogic an introduction to the metatheory of standard first order logic

Metalogic an introduction to the metatheory of standard first order logic

Détails bibliographiques
Auteur principal: Hunter, Geoffrey
Format: Livre
Langue:English
Publié: Berkeley University of California Press 1971.
Sujets:
First-order logic.