ピーター・B・アンドリュース

ピーター・ブルース・アンドリュース（1937年生まれ）は、アメリカの数学者であり、ペンシルバニア州ピッツバーグのカーネギーメロン大学の名誉数学教授であり、^[1]数理論理学 Q ₀の考案者でもある。彼は1964年にプリンストン大学でアロンゾ・チャーチの指導の下で博士号を取得した。^[2]彼は2003年にエルブランド賞を受賞した。 ^[3]彼の研究グループは、TPS自動定理証明器を設計した。TPSのサブシステムETPS（教育用定理証明システム）は、自然演繹証明を対話的に構築することで、学生が論理を学ぶのを助けるために使用されている。

• アンドリュース、ピーター B. (1965)。型変数による超限型理論。North Holland Publishing Company、アムステルダム。
• アンドリュース、ピーター B. (1971)。「型理論における解決」。Journal of Symbolic Logic 36、414-432。
• アンドリュース、ピーター B. (1981)。「一般交配による定理証明」。J . Assoc. Comput. 3 月28 日、第 2 号、193–214 ページ。
• アンドリュース、ピーター B. (1986)。数理論理学と型理論入門: 証明を通して真理へ。コンピュータサイエンスと応用数学。ISBN 978-0-1205-8535-9。Academic Press、Inc.、オーランド、フロリダ 州。
• アンドリュース、ピーター B. (1989) 「接続と高階論理について」J. Automat. Reason. 5、第3号、257-291ページ。
• Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Fr​​ank ; Xi, Hongwei (1996). 「TPS: 古典型理論の定理証明システム」. J. Automat. Reason. 16 , no. 3, 321–353.
• アンドリュース、ピーター B. (2002)。数理論理学と型理論入門：証明を通して真理へ。第 2版。応用論理シリーズ、27。ISBN 978-1-4020-0763-7。Kluwer Academic Publishers、ドルドレヒト。 

• ピーター・B・アンドリュース