Anne Sjerp Troelstra

About

Anne Sjerp Troelstra was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

Books

Basic Proof Theory

Helmut Schwichtenberg, Anne Sjerp Troelstra

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

... or sign up right here