Directory Help Search only in BooksSearch the Web

Books

Science > Math > Logic and Foundations > Publications > Books

Go to Directory Home

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	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).
	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.

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

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