Metalogic an introduction to the metatheory of standard first order logic

Metalogic an introduction to the metatheory of standard first order logic

Bibliographische Detailangaben
1. Verfasser: Hunter, Geoffrey
Format: Buch
Sprache:English
Veröffentlicht: Berkeley University of California Press 1971.
Schlagworte:
First-order logic.