Anne Sjerp Troelstra (troelstra)

Cited in the following articles

Contributions to Philosophie.ch

Bibliography

van Dalen, Dirk and Troelstra, Anne Sjerp. 1970. “Projection of Lawless Sequences.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 163–186. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Troelstra, Anne Sjerp. 1967. “Finite and Infinite in Intuitionistic Mathematics.” Compositio Mathematica 18: 94–116.
Troelstra, Anne Sjerp. 1969. Principles of intuitionism. Berlin: Springer.
Troelstra, Anne Sjerp. 1971. “Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in All Finite Types.” in Proceedings of the 2nd Scandinavian Logic Symposion, edited by Jens Erik Fenstad, pp. 369–405. Studies in Logic and the Foundations of Mathematics n. 63. Amsterdam: North-Holland Publishing Co.
Troelstra, Anne Sjerp. 1977a. Choice Sequences: A Chapter of Intuitionistic Mathematics. Oxford Logic Guides n. 3. Oxford: Oxford University Press.
Troelstra, Anne Sjerp. 1977b. “Aspects of Constructive Mathematics.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 973–1052. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
Troelstra, Anne Sjerp. 1977c. “Axioms for Intuitionistic Mathematics Incompatible with Classical Logic.” in Logic, Foundations of Mathematics, and Computability Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975, edited by Robert E. Butts and Jaakko Hintikka, pp. 59–84. The University of Western Ontario Series in Philosophy of Science n. 9. Dordrecht: D. Reidel Publishing Co.
Troelstra, Anne Sjerp. 1980a. “The Interplay Between Logic and Mathematics: Intuitionism.” in Modern Logic. A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic, edited by Evandro Agazzi, pp. 197–221. Synthese Library n. 149. Dordrecht: D. Reidel Publishing Co.
Troelstra, Anne Sjerp. 1980b. “Extended Bar Induction of Type Zero.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 277–316. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Troelstra, Anne Sjerp. 1982. “On the Origin and Development of Brouwer’s Concept of Choice Sequence.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 465–486. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
Troelstra, Anne Sjerp. 1983. “Analysing Choice Sequences.” The Journal of Philosophical Logic 12(2): 197–260.
Troelstra, Anne Sjerp. 1992. Lectures on Linear Logic. Stanford, California: CSLI Publications.
Troelstra, Anne Sjerp. 1993. “Tutorial on Linear Logic.” in Substructural Logics, edited by Peter Schröder-Heister and Kosta Došen, pp. 327–356. Oxford Science Publications. Oxford: Oxford University Press.
Troelstra, Anne Sjerp. 1998a. “Realizability.” in Handbook of Proof Theory, edited by Samuel R. Buss, pp. 407–473. Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.
Troelstra, Anne Sjerp. 1998b. “Concepts and Axioms.” Philosophia Mathematica 6(2): 195–208.
Troelstra, Anne Sjerp. 1999. “Marginalia on Sequent Calculus.” Studia Logica: An International Journal for Symbolic Logic 62: 291–303.
Troelstra, Anne Sjerp and van Dalen, Dirk, eds. 1982. The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
Troelstra, Anne Sjerp and van Dalen, Dirk. 1988. Constructivism in Mathematics. An Introduction. Volume I. Studies in Logic and the Foundations of Mathematics n. 121. Amsterdam: North-Holland Publishing Co.
Troelstra, Anne Sjerp and Schwichtenberg, Helmut. 1996. Proof Theory. Cambridge: Cambridge University Press. Second edition 2000.
Troelstra, Anne Sjerp and Schwichtenberg, Helmut. 2000. Basic Proof Theory. 2nd ed. Cambridge: Cambridge University Press.