Formally self-referential propositions for cut free classical analysis and related systems

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kreisel, Georg (VerfasserIn)
Weitere Verfasser:	Takeuti, Gaisi (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Warszawa Państwowe wydawnictwo naukowe 1974
Schriftenreihe:	Dissertationes mathematicae. 118.
Schlagworte:	Logic, Symbolic and mathematical > Numerical analysis > Proposition (Logic) > Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	55 S.