Completeness, compactness, and undecidability an introduction to mathematical logic

Completeness, compactness, and undecidability an introduction to mathematical logic

Detalhes bibliográficos
Autor principal: Manaster, Alfred B.
Formato: Livro
Idioma:English
Publicado em: Englewood Cliffs, NJ Prentice-Hall c1975.
Assuntos:
Logic, Symbolic and mathematical.
Predicate calculus.