nLab Anne Sjerp Troelstra

• Wikipedia entry

Selected writings

On intuitionistic mathematics, constructive mathematics and the BHK interpretation:

• Anne Sjerp Troelstra, Principles of Intuitionism, Lecture Notes in Mathematics 95 Springer Heidelberg (1969) [doi:10.1007/BFb0080643]

• Anne Sjerp Troelstra, Aspects of Constructive Mathematics, Studies in Logic and the Foundations of Mathematics 90 973-1052 (1977) [doi:10.1016/S0049-237X(08)71127-3]

• Anne Sjerp Troelstra, Dirk van Dalen, Constructivism in Mathematics – An introduction, Vol 1, Studies in Logic and the Foundations of Mathematics 121, North-Holland (1988) [ISBN:9780444702661]

On intuitionistic logic:

• Anne Sjerp Troelstra, On the Early History of Intuitionistic Logic, in Mathematical Logic, Springer, (1990) [doi:10.1007/978-1-4613-0609-2_1]

On constructivism:

• Anne Sjerp Troelstra, History of Constructivism in the Twentieth Century (1991). (pdf)

On linear logic:

• Anne Sjerp Troelstra, Lectures on Linear Logic, CSLI Lectures notes 29 (1992) [ISBN:0937073776]

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

• Anne Sjerp Troelstra, Helmut Schwichtenberg, Basic Proof Theory , Cambridge University Press (2000, 2012) [doi:10.1017/CBO9781139168717]

Related entries

• constructivism

• exponential modality

category: people