Rosen, Kenneth H.
Discrete mathematics and its applications / Kenneth H. Rosen,
McGraw-Hill, 1999
Buku Teks
Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
Buku Teks
Kurtz, David C.
Foundations of abstract mathematics
McGraw-Hill, 1992
Buku Teks
Morash, Ronald P.
Bridge to abstract mathematics: mathematical proof and structures
Random House, 1987
Buku Teks
Rosen, Kenneth H.
Discrete mathematics and its applications / Kenneth H. Rosen.
McGraw-Hill, 1995
Buku Teks