First-order logic

First-order logic

Toon alle (2) versies
Bibliografische gegevens
Hoofdauteur: Smullyan, Raymond M.
Formaat: Boek
Gepubliceerd in: New York Springer-Verlag 1968.
Reeks:Ergebnisse der Mathematik und ihrer Grenzgebiete 43.
Onderwerpen:
Logic, Symbolic and mathematical.