KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Sortierung

Online-Ressource

Proof theory (1975)

Takeuti, Gaisi, 1926-2017.

Amsterdam :North-Holland Pub. Co. ;

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9949982798502882

Umfang: 1 online resource (381 p.)

ISBN: 1-283-52528-3 , 9786613837738 , 0-08-095491-X

Serie: Studies in logic and the foundations of mathematics ; v. 81

Inhalt: Provability, Computability and Reflection

Anmerkung: 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. , pt. 1. First order systems -- pt. 2. Second order and finite order systems -- pt. 3. Consistency problems. , English

Weitere Ausg.: ISBN 0-444-10492-5

Sprache: Englisch

Schlagwort(e): Electronic books

URL: lizenzpflichtig

URL: Volltext

URL: lizenzpflichtig

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Stabi Berlin

HU Berlin

FU Berlin

UB Potsdam

Charité

Treffer 1 - 1 | 1 Treffer

Nichts oder nicht das Richtige gefunden? Für eine Suche/Fernleihbestellung aus dem Ausland nutzen Sie das Suche-Set "KOBV-International" im alten KOBV-Portal.

Meinten Sie 0444104305?

Meinten Sie 0444104291?

Meinten Sie 044410402x?

Kooperativer Bibliotheksverbund

Berlin Brandenburg