Items where Author is "Troelstra, A.S."

Report

ML-1998-02: Troelstra, A.S. (1998) Concepts and Axioms. [Report]

ML-1998-01: Troelstra, A.S. (1998) Marginalia on Sequent Calculi. [Report]

CT-1996-02: Troelstra, A.S. (1996) From Constructivism to Computer Science. [Report]

ML-1993-09: Troelstra, A.S. (1993) Natural Deduction for Intuitionistic Linear Logic. [Report]

ML-1992-01: Troelstra, A.S. (1992) Comparing the Theory of Representations and Constructive Mathematics. [Report]

ML-1992-09: Troelstra, A.S. (1992) Realizability. [Report]

ML-1991-05: Troelstra, A.S. (1991) History of Constructivism in the Twentieth Century. [Report]

X-1991-07: Troelstra, A.S. (1991) Lectures on Linear Logic, Errata and Supplement. [Report]

X-1990-15: Troelstra, A.S. (1990) Lectures on Linear Logic. [Report]

X-1990-01: Troelstra, A.S. (1990) Remarks on Intuitionism and the Philosophy of Mathematics, Revised Version. [Report]

X-1989-03: Troelstra, A.S. (1989) Index of the Heyting Nachlass. [Report]

ML-1988-04: Troelstra, A.S. (1988) On the Early History of Intuitionistic Logic. [Report]

ML-1988-05: Troelstra, A.S. (1988) Remarks on Intuitionism and the Philosophy of Mathematics. [Report]

X-2018-02: Troelstra, A.S. (2018) Corrections to some Publications. [Report]