First-order logic.
Smullyan, Raymond M.
First-order logic. - 158 páginas - Ergebnisse der mathematik und ihrer grenzgebiete ; 43 .
Lógica simbólica y matemática
QA9 / S57
First-order logic. - 158 páginas - Ergebnisse der mathematik und ihrer grenzgebiete ; 43 .
Lógica simbólica y matemática
QA9 / S57