Peter B. Andrews

Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics, Emeritus at Carnegie Mellon University in Pittsburgh, Pennsylvania,[1] and the creator of the mathematical logic Q0.

He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church.

[3] His research group designed the TPS automated theorem prover.

A subsystem ETPS (Educational Theorem Proving System) of TPS is used to help students learn logic by interactively constructing natural deduction proofs.

This article about an American mathematician is a stub.