by H. P. Barendregt
No reviews yet. Be the first!
The lambda calculus
Types for proofs and programs
Lambda calculus with types
De Dimorphie van het Ifs en de Alcoholhy...
The incompleteness theorems
Some extensional term models for combina...
Introduction to Mathematical Structures ...
Extension Innovation Method
Ordered Sets
A Beginner's Guide to Discrete Mathemati...
A Beginner's Guide to Finite Mathematics
Combinatorics and Reasoning