Metalogic an introduction to the metatheory of standard first order logic

Metalogic an introduction to the metatheory of standard first order logic

Bibliografiset tiedot
Päätekijä: Hunter, Geoffrey
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Berkeley University of California Press 1971.
Aiheet:
First-order logic.