First-order logic

First-order logic

Mostrar todas as versões (2)
Detalhes bibliográficos
Autor principal: Smullyan, Raymond M.
Formato: Livro
Publicado em: New York Springer-Verlag 1968.
coleção:Ergebnisse der Mathematik und ihrer Grenzgebiete 43.
Assuntos:
Logic, Symbolic and mathematical.