Luke Ong, editor
Logic, language, information and computation : 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Manna, Zohar
Lectures on the logic of computer programming
Society for Industrial and Applied Mathematics, 1980
 eBooks
Michael J. Dinneen, editor
Computation, physics and beyond : International Workshop on Theoretical Computer Science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers
[Springer-Verlag, ], 2012
 eBooks
Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer-Verlag, 2012
 Buku Teks
Richards, Tom
Clausal form logic : an introduction to the logic of computer reasoning
Addison-Wesley Pub. Co., 1989
 Buku Teks