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


  
Twitter