First-order logic

First-order logic

Visa alla versioner (2)
Bibliografiska uppgifter
Huvudupphovsman: Smullyan, Raymond M.
Materialtyp: Bok
Publicerad: New York Springer-Verlag 1968.
Serie:Ergebnisse der Mathematik und ihrer Grenzgebiete 43.
Ämnen:
Logic, Symbolic and mathematical.