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
