Completeness, compactness, and undecidability an introduction to mathematical logic

Бібліографічні деталі
Автор:	Manaster, Alfred B.
Формат:	Книга
Мова:	Англійська
Опубліковано:	Englewood Cliffs, NJ Prentice-Hall c1975.
Предмети:	Logic, Symbolic and mathematical. Predicate calculus.