Open Directory - Science: Math: Logic and Foundations: Publications: Books

Description

Top
: Science
: Math
: Logic and Foundations
: Publications
: Books (2)

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

"Books" search on: AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Visit our sister sites mozilla.org | MusicMoz | Wikipedia

Last update: Saturday, October 8, 2005 10:43:46 PM EDT - edit

Open Directory - Science: Math: Logic and Foundations: Publications: Books

about dmoz | help

This category is for web sites which contain material complementing printed books, for example with software, tables or errata. Online texts are also welcome. Please do not submit pages which merely announce or advertise books. Please submit publishers'' sites to Science/Math/Publications/Book_Publishers.

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

Last update: Tuesday, January 2, 2007 5:54:50 PM EST - edit

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

Submit a Site - Open Directory Project - Become an Editor

About Serebella.com