Completeness, compactness, and undecidability an introduction to mathematical logic

מידע ביבליוגרפי
מחבר ראשי:	Manaster, Alfred B.
פורמט:	ספר
שפה:	English
יצא לאור:	Englewood Cliffs, NJ Prentice-Hall c1975.
נושאים:	Logic, Symbolic and mathematical. Predicate calculus.