Skip to Main Content
Log In or Out
Skip to Search

springer.com springerprotocols.com Choose preferred language

SpringerLink

You have Guest access.

What can I do as a guest?

Search

Basic Search Search For All Content

Author or Editor Publication Volume Issue Page

Advanced Search

Content

Search For

Full Text Title & Abstract Title Only

DOI

Author

Editor

Citation

Publication (Title, DOI, ISSN, ISBN)

Volume

Issue

Page

Category and Date Limiters

Content Category

Entire Range of Publication Dates

Select date range Publication Dates Between Start DateANDEnd Date

Order of Results Most Relevant First Most Recently Published First Alphabetical

Share this item
- email
- citeulike
- Connotea
- Delicious
citeulike

Mathematics and Statistics

Archive for Mathematical Logic

Volume 12, Numbers 3-4, 159-178, DOI: 10.1007/BF01969702

Schnittelimination in einem Teilsystem der einfachen Typenlogik

View Related Documents

Journal Article
Herbrand Award Acceptance Speech
Peter B. Andrews
Journal of Automated Reasoning, 2003, Volume 31, Number 2, Pages 169-187
- Download PDF (330.0 KB)
- View HTML
Book Chapter
Comments on gentzen-type procedures and the classical notion of truth
Dag Prawitz
Lecture Notes in Mathematics, 1975, Volume 500, ?ISILC Proof Theory Symposion, Pages 290-319
- Download PDF (1.3 MB)
Journal Article
A characterization of Takeuti's ordinal diagrams of finite order
Hilbert Levitz and Kurt Schütte
Archive for Mathematical Logic, 1971, Volume 14, Numbers 1-2, Pages 75-97
- Download PDF (945.0 KB)
Book Chapter
Completeness Theorems and λ-Calculus
Thierry Coquand
Lecture Notes in Computer Science, 2005, Volume 3461, Typed Lambda Calculi and Applications, Pages 1-9
- Download PDF (152.1 KB)
Book Chapter
Calculability of the primitive recursive functionals of finite type over the natural numbers
A revised version
Yoshito Hanatani
Lecture Notes in Mathematics, 1975, Volume 500, ?ISILC Proof Theory Symposion, Pages 152-163
- Download PDF (351.6 KB)
Book Chapter
An Equivalent Version of the Caccetta-Häggkvist Conjecture in an Online Load Balancing Problem
Angelo Monti, Paolo Penna and Riccardo Silvestri
Lecture Notes in Computer Science, 2007, Volume 4769, Graph-Theoretic Concepts in Computer Science, Pages 154-165
- Download PDF (427.8 KB)
Journal Article
The fundamental conjecture for homogeneous Kähler manifolds
Josef Dorfmeister and Kazufumi Nakajima
Acta Mathematica, 1988, Volume 161, Number 1, Pages 23-70
- Download PDF (2.1 MB)
Journal Article
Hyperbolicity outside a compact set and homogeneous spaces
Giuliana Gigante
Annali di Matematica Pura ed Applicata, 1999, Volume 176, Number 1, Pages 73-93
- Download PDF (1.2 MB)
Journal Article
Classification of compact homogeneous pseudo-Kähler manifolds
Josff Dorfmeister and Zhuang-Dan Guan
Commentarii Mathematici Helvetici, 1992, Volume 67, Number 1, Pages 499-513
- Download PDF (647.5 KB)
Journal Article
Pseudo-Kählerian homogeneous spaces admitting a reductive transitive group of automorphisms
Josef Dorfmeister and Zhaung-Dan Guan
Mathematische Zeitschrift, 1992, Volume 209, Number 1, Pages 89-100
- Download PDF (647.1 KB)

Advertisment

Abstract

Kurt Schütte zum 60. Geburtstag gewidmet von

Diese Arbeit wurde als Dissertation der Universität München angenommen.

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info