Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer, 2012
 eBooks
Logic from computer science: proceedings of a workshop held November 13-176, 1989/ Y.N. Moschovakis, editor
Springer-Verlag, 1992
 Buku Teks
Manna, Zohar
Lectures on the logic of computer programming
Society for Industrial and Applied Mathematics, 1980
 eBooks
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