Peter B. Andrews
Sign in to saveAlso known as Peter Andrews, Peter Bruce Andrews
American mathematical logician
Person · Open Library
- Works
- 4
Top works
- An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
- Facies and genesis of a hurricane-washover fan
- Facies and genesis of a hurricane-washover fan, St. Joseph Island, Central Texas Coast
- A transfinite type theory with type variables
via Open Library + Wikidata
Wikidata facts
- Instance of
- human
- Given name
- Bruce
- Family name
- Andrews
- Gender
- male
- Citizenship
- United States
- Place of birth
- New York City
- Place of death
- Burlington
- Occupation
- logician
- Educated at
- Princeton University
- Employer
- Carnegie Mellon University
- Languages spoken
- English language
- Award
- Herbrand Award
- Doctoral advisor
- Alonzo Church
- Field of work
- mathematics
- Image
- Peter Andrews IMG 0397.jpg
Show 5 more facts
- Commons category
- Peter B. Andrews
- date of birth
- 1937-11-01
- maintained by WikiProject
- WikiProject Mathematics
- date of death
- 2025-04-21
- name in native language
- Peter Bruce Andrews
via Wikidata · CC0
Available in 6 languages
via Wikidata sitelinks · CC0