¸ Itecantini1999

&
Springer (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Epsilon-substitution method for the ramified language and Δ 1 1 -comprehension rule.Grigori Mints & S. Tupailo

Similar books and articles

Epsilon-substitution method for the ramified language and Δ 1 1 -comprehension rule.Grigori Mints & S. Tupailo - 1999 - In Grigori Mints & S. Tupailo (eds.), ¸ Itecantini1999. Springer.
Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon substitution method for elementary analysis. Archive for mathematical logic, vol. 35 , pp. 103–130. [REVIEW]Ulrich Kohlenbach - 2000 - Bulletin of Symbolic Logic 6 (3):356-357.
Review: Grigori Mints, A Short Introduction to Modal Logic. [REVIEW]Billy Joe Lucas - 1995 - Journal of Symbolic Logic 60 (2):687-689.
In memoriam: Grigori E. Mints 1939–2014.Solomon Feferman & Vladimir Lifschitz - 2015 - Bulletin of Symbolic Logic 21 (1):31-33.
In memoriam: Grigori E. Mints 1939-2014.Solomon Feferman and Vladimir Lifschitz - 2015 - Bulletin of Symbolic Logic 21 (1):31-33,.
Grigori Mints. A short introduction to intuitionistic logic. The university series in mathematics. Kluwer Academic/Plenum Publishers, New York etc. 2000, ix + 131 pp. [REVIEW]Helmut Schwichtenberg - 2002 - Bulletin of Symbolic Logic 8 (4):520-521.
Mints Grigori. A short introduction to modal logic. CSLI lecture notes, no. 30. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, Cambridge and New York, x + 91 pp. [REVIEW]Billy Joe Lucas - 1995 - Journal of Symbolic Logic 60 (2):687-689.
Epsilon substitution method for theories of jump hierarchies.Toshiyasu Arai - 2002 - Archive for Mathematical Logic 41 (2):123-153.
Three papers on proof theory by W. Buchholz and by S. Tupailo.T. Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-438.
The Computational Content of Classical Arithmetic to Appear in a Festschrift for Grigori Mints.Jeremy Avigad - unknown

Analytics

Added to PP
2016-09-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references