Peter B. Andrews
Professor
Peter B. Andrews
http://gtps.math.cmu.edu/andrews.html
Department of Mathematical Sciences
http://www.math.cmu.edu/
Carnegie Mellon University
Wean Hall
Room 6113
Pittsburgh, Pennsylvania 15213-3890
Ph.D.
1964
Princeton University
Contact by e-mail?
Mathematical logic, especially higher-order logic (type theory) and automated theorem proving
Start A New Search
If you are a faculty member and are not presently included in our Who's Who in Academia,
you may submit a request to be added.
If you are currently included in our database and have previously established an account, you
can update any of the information shown in your record.