OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Peter B. Andrews

 Home Mathematics Fields of mathematics Mathematical logic Mathematical logicians
 0 By others on same topic  0 Discussions  1970-01-01  See my version
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.

 Ancestors (5)

  1. Mathematical logicians
  2. Mathematical logic
  3. Fields of mathematics
  4. Mathematics
  5.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook