Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.
Horst Osswald (1972)
Manuscripta mathematica
Similarity:
The search session has expired. Please query the service again.
Displaying similar documents to “Über sphärische Blätterungen und die Vollständigkeit ihrer Blätter.”
Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.
Exakte Paare und Kettenkomplexe.
Jens-Uwe Mertens (1973)
Manuscripta mathematica
Similarity:
Lokalkreisförmige Vektorgruppen.
Pawel Lurje (1974)
Manuscripta mathematica
Similarity:
W-Gleitgleitkinematik.
Karlheinz Spallek (1992)
Manuscripta mathematica
Similarity:
Decktransformationen transnormaler Mannigfaltigkeiten.
Bernd Wegner (1971)
Manuscripta mathematica
Similarity:
Liftungen von Triplen.
Dietmar Wätjen (1974)
Manuscripta mathematica
Similarity:
Filters and Simple Graphic Algebras.
Juhani Nieminen (1977)
Manuscripta mathematica
Similarity:
Divergenzverhalten mehrdimensionaler Shannonscher Abtastreihen.
Holger Boche (1998)
Manuscripta mathematica
Similarity:
Differentialgleichungen in Jordantripelsystemen.
Oda Kühn (1975)
Manuscripta mathematica
Similarity:
Orthonormalbasen in der nichtarchimedischen Funktionentheorie.
Siegfried Bosch (1969)
Manuscripta mathematica
Similarity:
Die zweifachen Blutelschen Kegelschnittflächen.
Wendelin Degen (1986)
Manuscripta mathematica
Similarity:
Äquivariante Whiteheadtorsion.
Henning Hausschild (1978/79)
Manuscripta mathematica
Similarity:
Assoziative Tripelsysteme.
Ottmar Loos (1972)
Manuscripta mathematica
Similarity:
Präradikale und Morphismenklassen.
Günther Hauger (1970)
Manuscripta mathematica
Similarity:
Nielsensche Realisierungssätze für Seifertfaserungen.
Bruno Zimmermann (1985)
Manuscripta mathematica
Similarity:
Skolem-Normalformen.
Horst Luckhardt (1969)
Manuscripta mathematica
Similarity:
Ordnungsstetigkeit in Banachverbänden.
Rainer J. Nagel (1973)
Manuscripta mathematica
Similarity:
Die Minimalhyperregelflächen.
Günter Aumann (1981)
Manuscripta mathematica
Similarity: