Gemignani, Michael C.
Basic concepts of mathematics logic
Addison-Wesley, 1968
 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
Rosen, Kenneth H.
Discrete mathematics and its applications/ Kenneth H. Rosen ; global edition adapted by Kamala Krithivasan
McGraw-Hill Medica, 2013
 Buku Teks
Bergmann, Merrie
The logic book / Merrie Bergmann, James Moor, Jack Nelson
McGraw-Hill Publishing Company, 1990
 Buku Teks