Peter B. Andrews (mathematician) - Publications

Publications

• Andrews, Peter B. (1981) Theorem proving via general matings. J. Assoc. Comput. Mach. 28, no. 2, 193—214.

• Andrews, Peter B. (1986) An introduction to mathematical logic and type theory: to truth through proof. Computer Science and Applied Mathematics. Academic Press, Inc., Orlando, FL.

• Andrews, Peter B. (1971) Resolution in type theory. J. Symbolic Logic 36, 414—432.

• Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei (1996) TPS: a theorem-proving system for classical type theory. J. Automat. Reason. 16, no. 3, 321—353.

• Andrews, Peter B. (1989) On connections and higher-order logic. J. Automat. Reason. 5, no. 3, 257—291.

• Andrews, Peter B. (2002) An introduction to mathematical logic and type theory: to truth through proof. Second edition. Applied Logic Series, 27. Kluwer Academic Publishers, Dordrecht.