Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
Buku Teks
Dalen, Dirk van
Logic and structure
Springer-Verlag, 1994
Buku Teks
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
Buku Teks
Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer, 2012
eBooks
Gemignani, Michael C.
Basic concepts of mathematics logic
Addison-Wesley, 1968
Buku Teks SO