Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Gentzen's Centenary

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

The Quest for Consistency

Reinhard Kahle

Michael Rathjen

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 05267073

Založba Springer International Publishing AG, november 2015

This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in ma... Celoten opis

Koda Libristo: 05267073

387 b

159.36 €

Na zalogi pri dobavitelju Odposlali bomo v 10-18 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Nonlinear Potential Theory and Weighted Sobolev Spaces Bengt O. Turesson

Mehka

37.01 €

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

Trda

222.70 €

A Contextual Approach to Human Development Girishwar Misra

Trda

232.89 €

Les liaisons dangereuses Choderlos de Laclos

Trda

43.97 €

Rockstars Fausto Gilberti

Mehka

27.02 €

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

Mehka

1.60 €

L'Hermeneutique: Source d'Interpretation Biblique Joubert Michel

Mehka

22.58 €

Neue Gedichte Georg Herwegh

Mehka

21.78 €

Gender Im Blick Karin Gludovatz

Trda

70.09 €

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

Zvočni CD

20.67 €

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

Igrača

8.06 €

Correspondance Generale de La Beaumelle Hubert Angliviel de La Beaumelle

Trda

177.11 €

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.