Mundici, Daniele
Logic : a brief course
Springer, 2012
 eBooks
Rosen, Kenneth H.
Discrete mathematics and its applications/ Kenneth H. Rosen ; global edition adapted by Kamala Krithivasan
McGraw-Hill Medica, 2013
 Buku Teks
Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
 Buku Teks
Dalen, Dirk van
Logic and structure
Springer-Verlag, 1994
 Buku Teks