nLab Anne Sjerp Troelstra

Selected writings

On intuitionistic mathematics, constructive mathematics and the BHK interpretation:

On intuitionistic logic:

On constructivism:

On linear logic:

On proof theory with emphasis on natural deduction and sequent calculi:

category: people

Last revised on January 20, 2024 at 15:10:27. See the history of this page for a list of all contributions to it.