Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer-Verlag, 2012
 Buku Teks
Handbook of mathematical logic
edited by Jon Barwise; with the cooperation, H.J. Keisler, K. Kunen, Y. N. Moschowakis, A.S. Trioelstra
North-Holland Pub. Co, 1978
 Buku Referensi
Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Manna, Zohar
Lectures on the logic of computer programming
Society for Industrial and Applied Mathematics, 1980
 eBooks
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
 Buku Teks