- Main
- Mathematics
- Proof Theory and Logical Complexity:...
Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)
Jean-Yves GirardWie gefällt Ihnen dieses Buch?
Wie ist die Qualität der Datei?
Herunterladen Sie das Buch, um Ihre Qualität zu bewerten
Wie ist die Qualität der heruntergeladenen Dateien?
Hardbound. This volume is the first in a series which will, in the future, be published jointly by Bibliopolis, Edizioni di Filosofia e Scienze spa, Napoli, and under the North-Holland imprint by Elsevier Science Publishers, Amsterdam.This is the first of a two-part work covering the main ideas and techniques of proof theory. This volume is introductory, starting with Hilbert (whose second problem in the famous list of problems of 1900 was the consistency of number theory), describing Hilbert's program and its demise at the hands of G?del. It then proceeds with Gentzen's result (the Hauptsatz is the main result of Part I) and improvements and generalizations to &ohgr;-logic.Volume II will cover more advanced logics.
Kategorien:
Jahr:
1990
Sprache:
english
Seiten:
502
ISBN 10:
8870881237
ISBN 13:
9788870881233
Datei:
DJVU, 3.82 MB
Ihre Tags:
IPFS:
CID , CID Blake2b
english, 1990
Online lesen
- Herunterladen
- djvu 3.82 MB Current page
- Checking other formats...
Möchten Sie Ihren Buchladen hinzufügen? Kontaktieren Sie uns unter support@z-lib.do
Die Datei wird an Ihre E-Mail-Adresse gesendet. Sie wird in 1-5 Minuten geliefert.
In 1-5 Minuten wird die Datei an Ihr Telegram-Konto gesendet.
Achtung: Stellen Sie sicher, dass Sie Ihr Konto mit dem Telegram-Bot von Z-Library verbunden haben.
In 1-5 Minuten wird die Datei an Ihr Kindle-Gerät gesendet.
Anmerkung: Sie müssen jedes Buch bestätigen, das Sie an Kindle senden. Für die Bestätigung finden Sie den Brief an Ihrer E-Mail-Adresse von Amazon Kindle Support.
Die Konvertierung in ist im Gange
Die Konvertierung in ist fehlgeschlagen
Vorteile des Premium-Status
- Senden Sie an E-Book-Reader
- Erhöhtes Limit für Downloads
- Konvertieren Sie Dateien
- Mehr Suchergebnisse
- Andere Vorteile