Manna, Zohar, author
Lectures on the logic of computer programming
Society for Industrial and Applied Mathematics, 1980
 eBooks
Manna, Zohar, author
The logical basis for computer programming; Vol. I: deductive reasoning
Addison-Wesley, 1985
 Buku Teks
Ben-Ari, Mordecchai, 1948-, author
Mathematical logic for computer science
Springer-Verlag, 2012
 Buku Teks
Ben-Ari, Mordechai, author
Mathematical logic for computer science
Springer, 2012
 eBooks
Richards, Tom, author
Clausal form logic : an introduction to the logic of computer reasoning
Addison-Wesley Pub. Co., 1989
 Buku Teks
<<   1 2 3   >>