Advertisement

Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen

  • H. Schwichtenberg
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 270)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    Kreisel G, Mints GE, Simpson SG (1975) The use of abstract language in elementary metamathematics: Some pedagogic examples. Lecture Notes in Mathematics 453:38–131Google Scholar
  2. [2]
    Mints GE (1978) Finite investigations of transfinite derivations. J Soviet Math 10:548–596Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • H. Schwichtenberg
    • 1
  1. 1.Mathematisches Institut der Universität MünchenMünchen 2

Personalised recommendations