Kurtz, David C., author
Foundations of abstract mathematics / David C. Kurtz
McGraw-Hill , 1992
 Buku Teks
Gerstein, Larry J., authir
Introduction to mathematical structures and proofs
[Springer, ], 2012
 eBooks
Carnap, Rudolf
Introduction to symbolic logic and its applications/ by translated by William H. Meyer and John Wilkinson
Dover Publications, 1958
 Buku Teks
Standley, Gerald B., author
New methods in symbolic logic
Houghton Mifflin, 1971
 Buku Teks
Gemignani, Michael C., author
Basic concepts of mathematics logic
Addison-Wesley, 1968
 Buku Teks