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 September 4, 2023 at 09:57:14. See the history of this page for a list of all contributions to it.