Pages that link to "Peter B. Andrews"
Jump to navigation
Jump to search
Showing 21 items.
- Church–Turing thesis (links | edit)
- First-order logic (links | edit)
- Lambda calculus (links | edit)
- Alonzo Church (links | edit)
- Prenex normal form (links | edit)
- Simply typed lambda calculus (links | edit)
- Church encoding (links | edit)
- Peter B. Andrews (transclusion) (links | edit)
- Handbook of Automated Reasoning (links | edit)
- Peter Andrews (links | edit)
- Frege–Church ontology (links | edit)
- Peter Andrews (mathematician) (redirect page) (links | edit)
- Q0 (mathematical logic) (links | edit)
- Peter B. Andrews (mathematician) (redirect page) (links | edit)
- List of logicians (links | edit)
- Index of philosophy articles (I–Q) (links | edit)
- Higher-order logic (links | edit)
- Herbrand Award (links | edit)
- Frank Pfenning (links | edit)
- A. H. Lightstone (links | edit)
- ST type theory (links | edit)
- User:Tony Sidaway/Living people/a07 (links | edit)
- User:Tony Sidaway/Living people/tranche 002 (links | edit)
- Dale Miller (academic) (links | edit)
- Talk:Peter B. Andrews (transclusion) (links | edit)
- User:Gregbard/old watchlist (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Gregbard/old watchlist2 (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematicians (A) (links | edit)
- Template:Alonzo Church (links | edit)