Home >> Science >> Math >> Logic and Foundations >> Publications >> Books Proofs and Types By Jean-Yves Girard, Yves Lafont and Paul Taylor (CUP,1989). Full text online (DVI,PDF,PS). Practical Foundations of Mathematics By Paul Taylor (CUP, 2000). Table of contents, bibliography, text without diagrams.
© 2005 GeneralAnswers.org