Makinson, David
Sets, logic and maths for computing
Springer, 2012
 eBooks
Proceedings : fifth annual IEEE symposium on logic in computer science
IEEE Computer Society Press, 1990
 Buku Referensi
Jeroen Janssen, editor
Answer set programming for continuous domains: a fuzzy logic approach
Atlantis Press, 2012
 eBooks
Mano, M. Morris, 1927-
Digital logic and computer design
Prentice-Hall, 1986
 Buku Teks SO
Daniel Lassiter, editor
New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011, student sessions : selected papers
[Springer-Verlag, ], 2012
 eBooks