In memoriam: Anne sjerp Troelstra 1939–2019

&
Bulletin of Symbolic Logic 26 (3-4):293-295 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2020.24

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Constructivism and Proof Theory.Anne Sjerp Troelstra - 2003 - Illc, University of Amsterdam.
Analyzing realizability by Troelstra's methods.Joan Rand Moschovakis - 2002 - Annals of Pure and Applied Logic 114 (1-3):203-225.
In Memoriam: Albert G. Dragalin 1941–1998.S. Artemov, B. Kushner, G. Mints, E. Nogina & A. Troelstra - 1999 - Bulletin of Symbolic Logic 5 (3):389-391.
Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
Proof theory and constructive mathematics.Anne S. Troelstra - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 973--1052.
A. S. Troelstra. Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory at SUNY at Buffalo, N. Y. Lecture notes in mathematics, no. 95. Springer-Verlag, Berlin, Heidelberg, and New York, 1969, 111 pp. [REVIEW]Joan Rand Moschovakis - 1975 - Journal of Symbolic Logic 40 (3):447-448.
In Memoriam: Raphael Falk, 1929–2019.Sahotra Sarkar - 2021 - Biological Theory 16 (1):1-4.
Brygida Brandys (1939-1993). In memoriam.Krzysztof Kuczyński - 1997 - Acta Universitatis Lodziensis. Folia Germanica 1:151-157.
In memoriam: Grigori E. Mints 1939-2014.Solomon Feferman and Vladimir Lifschitz - 2015 - Bulletin of Symbolic Logic 21 (1):31-33,.
In memoriam: Grigori E. Mints 1939–2014.Solomon Feferman & Vladimir Lifschitz - 2015 - Bulletin of Symbolic Logic 21 (1):31-33.
Jochen Hoock (1939-2019).Marie-Louise Pelus-Kaplan - 2021 - Revue de Synthèse 142 (1-2):137-141.
Anne Renoult, Andrée Viollis. Une femme journaliste ; Alice-Anne Jeandel, Andrée Viollis : une femme grand reporter. Une écriture de l’événement, 1927-1939.Michelle Zancarini-Fournel - 2008 - Clio 28:279-279.
In memoriam Georges Anawati.Thérèse-Anne Druart - 1997 - Revue Philosophique De Louvain 95 (4):775-775.
In Memoriam: Pierre Fédida, or That Singular Insistence on the Dream.Anne-Marie Smith - 2004 - Paragraph 27 (3):113-120.
Joe Sneed, in memoriam.C. Ulises Moulines - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):1--4.

Analytics

Added to PP
2021-04-17

Downloads
15 (#923,100)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dick De De Jongh
University of Amsterdam
Joan Rand Moschovakis
Occidental College

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references