Black, W.J.
Intelligent knowledge based systems : an introduction
Van Nostrand Reinhold, 1986
 Buku Teks
Manna, Zohar
Lectures on the logic of computer programming
Society for Industrial and Applied Mathematics, 1980
 eBooks
Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer-Verlag, 2012
 Buku Teks
Esra Erdem, editor
Correct reasoning: essays on logic-based AI in honor of Vladimir Lifschitz
[, Springer-Verlag], 2012
 eBooks
Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks