Anne Sjerp Troelstra
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Anne Sjerp Troelstra
Anne Sjerp Troelstra: reference works in constructive mathematics and proof theory - 'Constructivism in Mathematics' I-II and 'Basic Proof Theory'. In no topic set, since they take no position.
Basic Proof Theory
Anne Sjerp Troelstra and others (2000) · Cambridge University Press
Constructivism in Mathematics, Vol 1
Anne Sjerp Troelstra and others (1988) · Elsevier
Constructivism in Mathematics, Vol 2
Anne Sjerp Troelstra and others (1988) · Elsevier