Completeness, compactness, and undecidability an introduction to mathematical logic

Xehetasun bibliografikoak
Egile nagusia:	Manaster, Alfred B.
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	Englewood Cliffs, NJ Prentice-Hall c1975.
Gaiak:	Logic, Symbolic and mathematical. Predicate calculus.