Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Ako nakupovať
Pomoc
Doručenie
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Doprava zadarmo s Packetou nad 59.99 €
Nákupný poradca
Sme tu pre Vás!
02/210 210 99
Môj účet
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod.
Založiť účet zdarma
▸
Prázdny :-(
0
Gentzen's Centenary
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in ma...
Celý popis
Libristo kód: 05267073
?
467 b
467 b
186.32
€
Skladom u dodávateľa v malom množstve
Odosielame za 13-16 dní
30 dní na vrátenie tovaru
Mohlo by vás tiež zaujímať
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ácie o knihe
Celý názov
Gentzen's Centenary
Autor
Reinhard Kahle, Michael Rathjen
Jazyk
Angličtina
Angličtina
Väzba
Kniha - Brožovaná
Dátum vydania
2015
Počet strán
561
EAN
9783319101026
ISBN
3319101021
Libristo kód
05267073
Nakladateľstvo
Springer International Publishing AG
Váha
866
Rozmery
155 x 30 x 30
