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.