zum Inhalt wechseln
Formally self-referential propositions for cut free classical analysis and related system Titelvorschau
SchließenTitelvorschau
Prüfung…

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

Verfasser/in: G Kreisel; G Takeuti
Verlag: Warzawa Państwowe Wydawnistwo Naukowe 1974
Serien: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Ausgabe/Format   Buch : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

 

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Dokumenttyp: Buch
Alle Autoren: G Kreisel; G Takeuti
OCLC-Nummer: 246216180
Beschreibung: 55 S
Serientitel: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Verfasserangabe: G. Kreisel; G. Takeuti

Rezensionen

Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.
Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.