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
A grouping.
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.
3 references
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