Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Peter B. Andrews | Researchclopedia

Back to researchers

Peter B. Andrews

116

Works

4,127

Citations

27

h-index

47

i10-index

Research Topics

Logic, Reasoning, and Knowledge Logic, programming, and type systems Formal Methods in Verification

Affiliations

GNS Science1963–1979

Honda (Japan)2025–2025

United States Geological Survey1974–1975

Financial Conduct Authority2016–2016

Natural History Museum2016–2016

Top Works

Detrital sedimentary rock classification and nomenclature for use in New Zealand

Robert L. Folk,Peter B. Andrews,et al.

1970793 citations

Geology and Paleoclimatology Research

Geological formations and processes

Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp.

Peter B. Andrews

1988451 citations

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Peter B. Andrews

2002367 citations

Theorem Proving via General Matings

Peter B. Andrews

1981284 citations

Cenozoic Paleoceanography in the Southwest Pacific Ocean, Antarctic Glaciation, and the Development of the Circumantarctic Current

James P. Kennett,R. E. Houtz,et al.

1975235 citations

Resolution in Type Theory

Peter B. Andrews

1971175 citations

Development of the Circum-Antarctic Current

James P. Kennett,R. E. Houtz,et al.

1974128 citations

Resolution in type theory

Peter B. Andrews

1971128 citations

TPS: A theorem-proving system for classical type theory

Peter B. Andrews,Matthew Bishop,et al.

1996109 citations