What is this? 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.

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.