Books Publications Logic and Foundations Math
Books on Logic, Set Theory and the Foundations of Mathematics.
Top: Science: Math: Logic and Foundations: Publications
Books
- Proofs and Types - By Jean-Yves Girard, Yves Lafont and Paul publications Taylor (CUP,1989). publications Full text online (DVI,PDF,PS).
- Practical Foundations of Mathematics - By Paul Taylor (CUP, 2000). Table of logic and foundations books contents, bibliography, text without diagrams.
MySQL - Cache Direct
![Follow IAS Directory on Twitter Twitter](/images/50x50xtwitter-icon.png.pagespeed.ic.hqBofe3Scj.png)