Fachbereich Mathematik und Informatik

Suchen
Institut fü Mathematische Logik und Grundlagenforschung
Einsteinstraße 62
48149 Münster
Tel.: +49-251-83-33 790
Fax: +49-251-83-33 078
pfeifer@math.uni-muenster.de

Startseite des Instituts
Startseite Mathematik und Informatik
Startseite
Universität Münster

Kontakt
Impressum
Preprints

Preprints

Lev D. Beklemishev
  Provability and Reflection
  Proof-theoretic analysis by iterated reflection

Wolfgang Burr
  Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory
  The intuitionistic arithmetical hierarchy

Ingo Lepper
  Simply Terminating Rewrite Systems with Long Derivations
  Derivation Lengths and Order Types of Knuth-Bendix Orders
  The Computational Strength of the Knuth-Bendix Order

Andreas Weiermann & Gunnar Wilken
  Sharp upper bounds for the depths of reduction trees of typed lambda calculus with recursors


Logik Mathe WWU übergeordnetes Verzeichnis
Betreuung der Logikseiten
Erzeugungsdatum: Tue Feb 13 13:27:25 MET 2001

zurückblättern

Diese Seite:  :: Seite drucken   :: Seite empfehlen  :: Seite kommentieren

© FB 10 Mathematik und Informatik

© FB 10 Mathematik und Informatik der Universität Münster
Einsteinstrasse 62 · 48149 Münster
Tel.: +49 251 83-3 30 16 · Fax: +49 251 83-3 83 50
E-Mail: mathdek@math.uni-muenster.de