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