Books
-
A First Course in Information Theory
-
Logic, Mathematics, and Computer Science
-
Philosophical and Mathematical Logic
-
Topoi: The Categorial Analysis of Logic
-
Understanding Artificial Intelligence