Alexander Leitsch/From the Editor 3–5 Matthias Baaz and Rosalie Iemhoff/Gentzen Calculi for the Existence Predicate 7–23 Ulrich Berger, Stefan Berghofer, Pierre Letouzey and Helmut Schwichtenberg/Program Extraction from [Book Review]

Studia Logica 82:40 (2006)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,257
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Cut Normal Forms and Proof Complexity.Matthias Baaz & Alexander Leitsch - 1999 - Annals of Pure and Applied Logic 97 (1-3):127-177.
Complexity of Resolution Proofs and Function Introduction.Matthias Baaz & Alexander Leitsch - 1992 - Annals of Pure and Applied Logic 57 (3):181-215.
On Skolemization in Constructive Theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
Marginalia on Sequent Calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.
Dialectica Interpretation of Well-Founded Induction.Helmut Schwichtenberg - 2008 - Mathematical Logic Quarterly 54 (3):229-239.
CERES in Higher-Order Logic.Stefan Hetzl, Alexander Leitsch & Daniel Weller - 2011 - Annals of Pure and Applied Logic 162 (12):1001-1034.
Complexity of T-Tautologies.Matthias Baaz, Petr Hájek, Franco Montagna & Helmut Veith - 2001 - Annals of Pure and Applied Logic 113 (1-3):3-11.
On Different Concepts of Resolution.Alexander Leitsch - 1989 - Mathematical Logic Quarterly 35 (1):71-77.

Analytics

Added to PP index
2014-03-19

Total views
16 ( #663,031 of 2,499,765 )

Recent downloads (6 months)
1 ( #418,066 of 2,499,765 )

How can I increase my downloads?

Downloads

My notes