Smullyan, R. M. (1961). Theory of formal systems. Princeton University.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Smullyan, Raymond M. Theory of Formal Systems. Princeton: Princeton University, 1961.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Smullyan, Raymond M. Theory of Formal Systems. Princeton University, 1961.
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%.