First-order logic

First-order logic

Show all versions (2)
Manylion Llyfryddiaeth
Prif Awdur: Smullyan, Raymond M.
Fformat: Llyfr
Cyhoeddwyd: New York Springer-Verlag 1968.
Cyfres:Ergebnisse der Mathematik und ihrer Grenzgebiete 43.
Pynciau:
Logic, Symbolic and mathematical.