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