Kurtz, David C.
Foundations of abstract mathematics
McGraw-Hill, 1992
 Buku Teks SO
Gerstein, Larry J., authir
Introduction to mathematical structures and proofs
[Springer, ], 2012
 eBooks
Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
 Buku Teks SO
Smarandache, Florentin
Multi-valued logic, neutrosophy, and schrodinger equation
Hexis, 2005
 Buku Teks SO