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