Pages that link to "Jeremy Avigad"
Appearance
Showing 21 items.
- First-order logic (links | edit)
- Mathematics (links | edit)
- Foundations of mathematics (links | edit)
- Solomon Feferman (links | edit)
- List of philosophers born in the 20th century (links | edit)
- Epsilon calculus (links | edit)
- Double-negation translation (links | edit)
- Dialectica interpretation (links | edit)
- Jack Silver (links | edit)
- Primitive recursive functional (links | edit)
- Andrzej Grzegorczyk (links | edit)
- Bar recursion (links | edit)
- Jeremy Avigad (transclusion) (links | edit)
- Avigad (links | edit)
- Talk:Jeremy Avigad (transclusion) (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:VeblenBot/List of mathematical logic articles log (links | edit)
- User:Tim.landscheidt/Sandbox/Untagged biographies of living people (links | edit)
- User:Elseif/Avigad (redirect page) (links | edit)
- User:Steel1943/Project redirects (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematicians (A) (links | edit)