Peter B. Andrews is a distinguished mathematician known for his work in the fields of mathematical logic and the foundations of mathematics, particularly in relation to proof theory and type theory. He made significant contributions to the development of proof-theoretic semantics and has been influential in the study of constructive mathematics.
Articles by others on the same topic
There are currently no matching articles.