In addition to the technically required cookies, our website also uses cookies for statistical evaluation. You can also use the website without these cookies. By clicking on "I agree" you agree that we may set cookies for analysis purposes. You can see and change your cookie settings here.
Formally self-referential propositions for cut free classical analysis and related systems
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
1974
Enthält: zwei Sonderdrucke des zusammen mit Gaisi Takeuti verfaßten Artikels "Formally self-referential propositions for cut free classical analysis and related systems" aus: Dissertationes Mathematicae 118 (1974)
