First-order logic

First-order logic

Pokaži sve verzije (2)
Bibliografski detalji
Glavni autor: Smullyan, Raymond M.
Format: Knjiga
Izdano: New York Springer-Verlag 1968.
Serija:Ergebnisse der Mathematik und ihrer Grenzgebiete 43.
Teme:
Logic, Symbolic and mathematical.