Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
 Buku Teks
Standley, Gerald B.
New methods in symbolic logic
Houghton Mifflin, 1971
 Buku Teks
Gemignani, Michael C.
Basic concepts of mathematics logic
Addison-Wesley, 1968
 Buku Teks
Handbook of mathematical logic
edited by Jon Barwise; with the cooperation, H.J. Keisler, K. Kunen, Y. N. Moschowakis, A.S. Trioelstra
North-Holland Pub. Co, 1978
 Buku Referensi