Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer, 2012
 eBooks
Esra Erdem, editor
Correct reasoning: essays on logic-based AI in honor of Vladimir Lifschitz
[, Springer-Verlag], 2012
 eBooks
Thomas Agotnes, editor
Deontic logic in computer science : 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Wallace, Walter L.
The logic of science in sociology / Walter L. Wallace
Aldine Publishing Company, 1971
 Buku Teks
Proceedings : fifth annual IEEE symposium on logic in computer science
IEEE Computer Society Press, 1990
 Buku Referensi