Mathematician:Peter Bruce Andrews

Mathematician
American mathematician best known for creating the TPS automated theorem prover.

Nationality
American

History

 * Born: 1937, USA

Publications

 * 1986:
 * 2002: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, 2nd. ed.

Also see

 * TPS: Theorem Proving System