Warenkorb
€ 0,00 0 Buch dabei,
portofrei
Handbook of Proof Theory als Buch
PORTO-
FREI

Handbook of Proof Theory

Sprache: Englisch.
Buch (gebunden)
Ihr 12%-Rabatt auf alle Spielwaren, Hörbücher, Filme, Musik u.v.m
 
12% Rabatt sichern mit Gutscheincode: SONNE12
 
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, in … weiterlesen
Buch

176,99*

inkl. MwSt.
Portofrei
Lieferbar innerhalb von zwei Wochen
Handbook of Proof Theory als Buch

Produktdetails

Titel: Handbook of Proof Theory

ISBN: 0444898409
EAN: 9780444898401
Sprache: Englisch.
Herausgegeben von S. R. Buss
ELSEVIER LTD

Juli 1998 - gebunden - 810 Seiten

Beschreibung

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

Inhaltsverzeichnis

An introduction to proof theory, S.R. Buss; first-order proof theory of arithmetic, S.R. Buss; hierarchies of provably recursive functions, M. Fairtlough and S.S. Wainer; subsystems of set theory and second order number theory, W. Pohlers; Godel's functional ("dialectica") interpretation, J. Avigad and S. Feferman; realizability, A.S.Troelstra; the logic of provability, G. Japaridze and D. de Jongh; the lengths of proofs, P. Pudlak; a proof-theoretic framework for logic programming, G. Jager and R.F. Stark.

Pressestimmen

Toshiyasu Arai The Handbook is most welcome in the logic community. I recommend the Handbook to researchers and graduate students in logic, mathematics, computer science, philosophy, linguistics, artificial intelligence, automated reasoning and cognitive sciences. Bulletin of Symbolic Logic
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.