Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS futár 1 590 Ft
Packeta 990 Ft
GLS pont 1 390 Ft
Hogyan vásároljunk
Segítség
Kézbesítés
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS futár 1 590 Ft
Packeta 990 Ft
GLS pont 1 390 Ft
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
+36 1 6333 184
Saját fiók
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt.
Ingyenes fiók létrehozása
▸
Üres :-(
0
Gentzen's Centenary
Nyelv
Angol
Angol
Könyv
Puha kötésű
This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in ma...
Teljes leírás
Libristo kód: 05267073
?
467 b
467 b
75 179
Ft
Beszállítói készleten alacsony példányszámban
Küldés 10-15 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
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.
Információ a könyvről
Teljes megnevezés
Gentzen's Centenary
Szerző
Reinhard Kahle, Michael Rathjen
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2015
Oldalszám
561
EAN
9783319101026
ISBN
3319101021
Libristo kód
05267073
Súly
866
Méretek
155 x 30 x 30
