In memoriam: Michael Dummett 1925-2011

Association for Symbolic Logic: The Bulletin of Symbolic Logic (forthcoming)
  Copy   BIBTEX

Abstract

Dag Prawitz The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 119-122, March 2013

Categories

Keywords

Reprint years

Other Versions

reprint Prawitz, Dag (2013) "In Memoriam: Michael Dummett 1925–2011". Bulletin of Symbolic Logic 19(1):119-122

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

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

In memoriam: Ruth Barcan Marcus 1921-2012.Timothy Williamson - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Reviewed Work(s): Finite and algorithmic model theory by Javier Esparza; Christian Michaux; Charles Steinhorn.Michael Benedikt - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Conference on computability, complexity and randomness: Isaac Newton institute, cambridge, uk july 2-6, 2012.Elvira Mayordomo & Wolfgang Merkle - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Prawitz Dag. Hauptsatz for higher order logic.K. Schütte - 1974 - Journal of Symbolic Logic 39 (3):607.
Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
Reviewed Work(s): Introduction to bisimulation and coinduction by Davide Sangiorgi; Advanced topics in bisimulation and coinduction by Davide Sangiorgi; Jan Rutten.Julian Gutierrez - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
The Vienna Circle in Hungary, edited by András Máté, Miklós Rédei and Friedrich Stadler, Springer, Wien–New York, 2011, 300 pp. [REVIEW]Máté Szabó - 2013 - Bulletin of Symbolic Logic 19 (1):110-112.
Bernard Linsky. The Evolution of Principia Mathematica: Bertrand Russell's manuscripts and notes for the second edition. Cambridge University Press, Cambridge, 2011, vii + 407 pp. [REVIEW]Christopher Pincock - 2013 - Bulletin of Symbolic Logic 19 (1):106-108.
Dag Prawitz, Håkon Prawitz, and Neri Voghera. A mechanical proof procedure and its realization in an electronic computer.Journal of the Association for Computing Machinery, vol. 7 , pp. 102–128. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-126.

Analytics

Added to PP
2013-10-18

Downloads
33 (#675,875)

6 months
2 (#1,683,984)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Prawitz
Stockholm University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references