Completeness, compactness, and undecidability an introduction to mathematical logic

Bibliografiset tiedot
Päätekijä:	Manaster, Alfred B.
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Englewood Cliffs, NJ Prentice-Hall c1975.
Aiheet:	Logic, Symbolic and mathematical. Predicate calculus.