First-order logic

First-order logic

Veure totes les versions (2)
Dades bibliogràfiques
Autor principal: Smullyan, Raymond M.
Format: Llibre
Publicat: New York Springer-Verlag 1968.
Col·lecció:Ergebnisse der Mathematik und ihrer Grenzgebiete 43.
Matèries:
Logic, Symbolic and mathematical.