Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads

Suggest a site

Books (2)

Sites:

http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html

» Practical Foundations of Mathematics
By Paul Taylor (CUP, 2000). Table of contents, bibliography, text without diagrams.
http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html

http://www.dcs.qmul.ac.uk/%7Ept/stable/Proofs+Types.html

» Proofs and Types
By Jean-Yves Girard, Yves Lafont and Paul Taylor (CUP,1989). Full text online (DVI,PDF,PS).
http://www.dcs.qmul.ac.uk/%7Ept/stable/Proofs+Types.html

This category needs an editor

Last Updated: 2007-01-02 17:54:50

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com