Directory

Directory Help Search only in BooksSearch the Web

Books

Science > Math > Logic and Foundations > Publications > Books

Go to Directory Home: [English]  [English]

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	Practical Foundations of Mathematics - http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html By Paul Taylor (CUP, 2000). Table of contents, bibliography, text without diagrams.
	Proofs and Types - http://www.dcs.qmul.ac.uk/%7Ept/stable/Proofs+Types.html By Jean-Yves Girard, Yves Lafont and Paul Taylor (CUP,1989). Full text online (DVI,PDF,PS).

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2008 Google
Advertise with Us - Jobs, Press, Cool Stuff...