Morash, Ronald P.
Bridge to abstract mathematics: mathematical proof and structures
Random House, 1987
 Buku Teks
Gemignani, Michael C.
Basic concepts of mathematics logic
Addison-Wesley, 1968
 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
Luchins, Abraham S.
Logical foundations of mathematics for behavioral scientists
Holt, Rinehart and Winston, 1965
 Buku Teks
Lipschutz, Seymour, 1915-2003
Schaum's outline of theory and problems of discrete mathematics
McGraw-Hill, 1976
 Buku Teks