Mathematician:Peter Bruce Andrews

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

Nationality
American

History

 * Born: 1937, USA

Selected Books and Papers

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

Also see

 * TPS: Theorem Proving System