Smullyan, R. M. (1968). First-order logic. Springer-Verlag.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Smullyan, Raymond M. First-order Logic. Berlín: Springer-Verlag, 1968.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Smullyan, Raymond M. First-order Logic. Springer-Verlag, 1968.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.