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

Bibliographische Detailangaben

1. Verfasser:	Kreisel, G. (VerfasserIn)
Weitere Verfasser:	Takeuti, G. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Warzawa Państwowe Wydawnistwo Naukowe 1974
Schriftenreihe:	Dissertationes mathematicae 118
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!