Formally self-referential propositions for cut free classical analysis and related systems / G. Kreisel and G. Takeuti
Saved in:
Superior document: | Dissertationes mathematicae 118 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Warszawa : PWN, 1974 |
Year of Publication: | 1974 |
Language: | English |
Series: | Dissertationes mathematicae
118 |
Physical Description: | 55 S. |
Notes: | Literaturverz. S. [49] - 50 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Two Applications of Logic to Mathematics / / Gaisi Takeuti.
by: Takeuti, Gaisi,
Published: ([2015]) -
Memoirs of a proof theorist : Godel and other logicians / / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.
by: Takeuti, Gaisi,
Published: (c2003.) -
Extension theory of formally normal and symmetric subspaces / / [by] Earl A. Coddington.
by: Coddington, Earl A.,
Published: (1973.) -
Würzburg / / Heinrich Kreisel.
by: Kreisel, Heinrich,
Published: ([2020]) -
München / / Heinrich Kreisel.
by: Kreisel, Heinrich,
Published: ([2021])