Pages that link to "William Alvin Howard"
Showing 25 items.
- André Weil (links | edit)
- Curry–Howard correspondence (links | edit)
- Saunders Mac Lane (links | edit)
- List of logicians (links | edit)
- Index of philosophy articles (R–Z) (links | edit)
- Per Martin-Löf (links | edit)
- Dependent type (links | edit)
- Programming language theory (links | edit)
- William Howard (links | edit)
- Bachmann–Howard ordinal (links | edit)
- 1926 in philosophy (links | edit)
- Howard (surname) (links | edit)
- History of type theory (links | edit)
- Marian Pour-El (links | edit)
- Talk:William Alvin Howard (transclusion) (links | edit)
- User:Chalst/logic-watchlist (links | edit)
- User:Mathbot/Mathematicians missing photo (links | edit)
- User:Gregbard/old watchlist (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Tony Sidaway/Living people/tranche 039 (links | edit)
- User:Ruud Koot/Claude J/Mathematik (links | edit)
- User:Gregbard/old watchlist2 (links | edit)
- User talk:Lazybum (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematicians (H) (links | edit)
- Wikipedia:WikiProject Biography/Science and academia/Science Hall of Fame 2 (links | edit)