Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Gentzen's Centenary

Name: Gentzen's Centenary
Brand: Springer International Publishing AG
SKU: 05267073
Price: 173.89 EUR
Availability: InStock
Author: Reinhard Kahle
ISBN: 9783319101026

The Quest for Consistency

Reinhard Kahle

Michael Rathjen

Sprache

Englisch

Buch Broschur

Libristo-Code: 05267073

Verlag Springer International Publishing AG, November 2015

This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in ma... Vollständige Beschreibung

Libristo-Code: 05267073

426 b

173.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Nonlinear Potential Theory and Weighted Sobolev Spaces Bengt O. Turesson

Broschur

40.99 €

Dictionnaire étymologique, historique et comparé du français de Louisiane Kevin J. Rottet

Hardcover

256.49 €

A Contextual Approach to Human Development Girishwar Misra

Hardcover

215.89 €

Les liaisons dangereuses Choderlos de Laclos

Hardcover

49.99 €

Rockstars Fausto Gilberti

Broschur

30.79 €

Sociální pouto v éře virtuality Gérard Dubey

Broschur

1.89 €

L'Hermeneutique: Source d'Interpretation Biblique Joubert Michel

Broschur

24.79 €

Neue Gedichte Georg Herwegh

Broschur

25.90 €

Gender Im Blick Karin Gludovatz

Hardcover

77.29 €

Mord am Leuchtturm, 3 Audio-CDs Klaus-Peter Wolf

Audio CD

23.49 €

Mein Kuschel-Fühlbuch - Lieblingstiere, Stoffbilderbuch Francesca Ferri

Spielzeug

9.99 €

Correspondance Generale de La Beaumelle Hubert Angliviel de La Beaumelle

Hardcover

200.69 €

This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to most recent developments in proof theory. Gentzen founded modern proof theory. His subsequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Gentzen's Centenary

Autor Reinhard Kahle, Michael Rathjen

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 561

EAN 9783319101026

ISBN 3319101021

Libristo-Code 05267073

Verlag Springer International Publishing AG

Gewicht 866

Abmessungen 155 x 30 x 30

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert