Mathematical Logic

Program Logics for Certified Compilers PDF Download – Andrew W. Appel, Robert Dockins

Predicate Calculus and Program Semantics PDF Download – Edsger W. Dijkstra, Carel S. Scholten

Modelling Computer Systems: Mathematics of Computer Science PDF Download – Faron Moller, Georg Struth

Mathematical Structures for Computer Science PDF Download – Judith L. Gersting

Lambda Calculus with Types PDF Download – Gilles Dowek

Lambda-Calculus and Combinators: An Introduction PDF Download – J. Roger Hindley, Jonathan P. Seldin

Introduction to Lambda Calculus PDF Download – Henk Barendregt, Erik Barendsen

Good Math: A Geek’s Guide to the Beauty of Numbers, Logic, and Computation PDF Download – Mark C. Chu-Carroll