1
by Kowalski, Robert
Published 2011
Cambridge University Press
Table of Contents: ... and objects -- 15. Biconditionals -- 16. Computational logic and the selection task -- 17. Meta-logic...

2
by Harrison, J.
Published 2009
Cambridge University Press
Subjects: ...Computer logic...

3
by Gathen, Joachim von zur, Gerhard, Jürgen
Published 2013
Cambridge University Press
... others, in chemistry, coding theory, cryptography, computational logic, and the design of calendars...