Morash, Ronald P.
Bridge to abstract mathematics: mathematical proof and structures
Random House, 1987
 Buku Teks SO
Gemignani, Michael C.
Basic concepts of mathematics logic
Addison-Wesley, 1968
 Buku Teks SO
Rosen, Kenneth H.
Discrete mathematics and its applications
McGraw-Hill Medical, 2013
 Buku Teks SO
Luchins, Abraham S.
Logical foundations of mathematics for behavioral scientists
Holt, Rinehart and Winston, 1965
 Buku Teks SO
Lipschutz, Seymour, 1915-2003
Schaum's outline of theory and problems of discrete mathematics
McGraw-Hill, 1976
 Buku Teks SO