First-order logic

First-order logic

Näytä kaikki versiot (2)
Bibliografiset tiedot
Päätekijä: Smullyan, Raymond M.
Aineistotyyppi: Kirja
Julkaistu: New York Springer-Verlag 1968.
Sarja:Ergebnisse der Mathematik und ihrer Grenzgebiete 43.
Aiheet:
Logic, Symbolic and mathematical.