Manna, Zohar, author
The logical basis for computer programming; Vol. I: deductive reasoning
Addison-Wesley, 1985
 Buku Teks
Hogger, Christopher John, author
Introduction to logic programming
Academic Press, 1984
 Buku Teks
Manna, Zohar, author
The logical basis for computer programming; Vol. II: deductive systems
Addison-Wesley, 1990
 Buku Teks
Manna, Zohar, author
Lectures on the logic of computer programming
Society for Industrial and Applied Mathematics, 1980
 eBooks
Greenstein, Carol Horn, author
Dictionary of logical terms and symbols
Van Nostrand Reinhold, 1978
 Buku Referensi
<<   1 2 3   >>