It takes a few seconds to contribute a new entry! ;-)
Proofs and types
Jean-Yves Girard
Go to the book page
Rate it!
Your vote: 0
Average: 0
Language:
EnglishLevel:
Not knownStatus:
BookAdd to favorites
Reviews
Loved by:
Share on:
-
Latest additions -
Most popular -
Search MathOnline -
Browse books -
Add a book -
Your profile
Tip:
You can use OpenId on MathOnline. OpenId allows you to use an existing account (on Google, Yahoo, AOL, MySpace and more) to login here.