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
Constructive mathematics and proof theory: 'Constructivism in Mathematics' volumes 1 and 2, and 'Basic Proof Theory'. All three are reference works rather than arguments, which is why they sit in no topic set -- those sets are argument-shaped and a survey of constructivism does not take a position. This is the corpus's clean example of a wider pattern: unplaced records are disproportionately books and theses.
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