Top » Science » Math » Logic_and_Foundations » Publications » Books

Deprecated: Function eregi_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 128

Deprecated: Function ereg_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 129

Books on Logic, Set Theory and the Foundations of Mathematics.

• Practical Foundations of Mathematics By Paul Taylor (CUP, 2000). Table of contents, bilbiography, text without diagrams.
• Proofs and Types By Jean-Yves Girard, Yves Lafont and Paul Taylor (CUP,1989). Full text online (DVI,PDF,PS).

 

 

Copyright ©2000-2012 SPORT FR (33.80ms)

Apportez votre contribution à l'annuaire le plus complet du Web (avec évaluateurs « humains » !). Proposer un site - Open Directory Project - Devenir évaluateur de site