Books
2 links
Practical Foundations of Mathematics
cs.man.ac.uk
By Paul Taylor (CUP, 2000). Table of contents, bibliography, text without diagrams.
Proofs and Types
dcs.qmul.ac.uk
By Jean-Yves Girard, Yves Lafont and Paul Taylor (CUP,1989). Full text online (DVI,PDF,PS).
Showing 20–2 of 2 results