The following pages link to Jean-Yves Girard
External toolsShowing 25 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Talk:Gödel's incompleteness theorems/History (links | edit)
- Talk:Proof (truth)/Archive 1 (links | edit)
- Talk:Type theory/Archive 1 (links | edit)
- User:Brighterorange (links | edit)
- User:Physis/Former watchlist (links | edit)
- User:Mathbot/Most linked math articles2 (links | edit)
- User:Mathbot/Mathematicians missing photo (links | edit)
- User:Quinnranicki/Sandbox (links | edit)
- User:Gregbard/old watchlist (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Tony Sidaway/Living people/tranche 031 (links | edit)
- User:George Chatz/sandbox (links | edit)
- User:Ruud Koot/Bibliography (links | edit)
- User:Larissanpa/sandbox (links | edit)
- User:Jpt401 (links | edit)
- User:JLLong/Proof net (links | edit)
- User talk:Ruud Koot/2014 (links | edit)
- User talk:Ruud Koot/2015 (links | edit)
- Misplaced Pages:WikiProject Mathematics/List of mathematicians (G) (links | edit)
- Misplaced Pages:WikiProject Biography/Assessment/Assessment Drive/Lists/New10 (links | edit)
- Misplaced Pages:Reference desk/Archives/Mathematics/2009 August 30 (links | edit)
- Misplaced Pages:Featured article candidates/Archived nominations/March 2010 (links | edit)
- Misplaced Pages:Featured article candidates/History of logic/archive1 (links | edit)
- Misplaced Pages:WikiProject Biography/Science and academia/Science Hall of Fame (links | edit)
- Misplaced Pages:WikiProject Science/Members of the Academia Europaea list (links | edit)