zum Inhalt wechseln
Proof theory Titelvorschau
SchließenTitelvorschau

Proof theory

Verfasser/in: Gaisi Takeuti
Verlag: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Serien: Studies in logic and the foundations of mathematics, v. 81.
Ausgabe/Format   Print book : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Online-Kopie dieses Titels abrufen… Online-Kopie dieses Titels abrufen…

Exemplar ausleihen

Standort und Verfügbarkeit des Titels abrufen... Standort und Verfügbarkeit des Titels abrufen...

WorldCat

In Bibliotheken weltweit suchen
Folgende Bibliotheken besitzen diesen Titel

Details

Medientyp: Internetquelle
Dokumenttyp: Buch, Internet-Ressource
Alle Autoren: Gaisi Takeuti
ISBN: 0444104925 9780444104922 0720422000 9780720422009 0720422779 9780720422771
OCLC-Nummer: 1531974
Anmerkungen: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
Includes index.
Beschreibung: vii, 372 pages ; 23 cm.
Serientitel: Studies in logic and the foundations of mathematics, v. 81.
Verfasserangabe: Gaisi Takeuti.
Anmerkungen zu diesem Titel Anmerkungen zu diesem Titel

Rezensionen

Nutzer-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,.