¸ 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: 91,202

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 ¸ Itecantini1999. Springer.
Epsilon substitution method for elementary analysis.Grigori Mints, Sergei Tupailo & Wilfried Buchholz - 1996 - Archive for Mathematical Logic 35 (2):103-130.
Notes on Constructive Negation.Grigori Mints - 2006 - Synthese 148 (3):701-717.
Review: Marianne Winslett, Updating Logical Databases. [REVIEW]Grigori Mints - 1994 - Journal of Symbolic Logic 59 (3):1110-1114.
Gentzen-type systems and Hilbert’s epsilon substitution method. I.Grigori Efroimovich Mints - 1991 - In Dag Prawitz, Brian Skyrms & Dag Westerståhl (eds.), ¸ Iteprawitz1994. Elsevier. pp. 91--122.
Heyting predicate calculus with epsilon symbol.Grigori Efroimovich Mints - 1977 - Journal of Soviet Mathematics 8 (3):317--323.
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,.
Preface.Sergei Artemov, Yuri Matiyasevich, Grigori Mints & Anatol Slissenko - 2010 - Annals of Pure and Applied Logic 162 (3):173-174.
Transfer of sequent calculus strategies to resolution for S4.Grigori Mints, Vladimir Orevkov & Tanel Tammet - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 2--17.
A Short Introduction to Intuitionistic Logic.Helmut Schwichtenberg - 2002 - Bulletin of Symbolic Logic 8 (4):520-521.
Review: Grigori Mints, A Short Introduction to Modal Logic. [REVIEW]Billy Joe Lucas - 1995 - Journal of Symbolic Logic 60 (2):687-689.
Thoralf Skolem and the epsilon substitution method for predicate logic.Grigori Mints - 1996 - Nordic Journal of Philosophical Logic 1 (2):133-146.
Cut Elimination for S4C: A Case Study.Grigori Mints - 2006 - Studia Logica 82 (1):121-132.
Axiomatizing the next-interior fragment of dynamic topological logic.Philip Kremer, Grigori Mints & V. Rybakov - 1997 - Bulletin of Symbolic Logic 3:376-377.

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