Smullyan, R. M. (1968). First-order logic. Springer-Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)Smullyan, Raymond M. First-order Logic. Berlin ; New York: Springer-Verlag, 1968.
Παραπομπή σε μορφή MLA (8th εκδ.)Smullyan, Raymond M. First-order Logic. Springer-Verlag, 1968.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.