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
Methods of Cut-Elimination
Nyelv
Angol
Angol
Könyv
Puha kötésű
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth...
Teljes leírás
Libristo kód: 01979707
?
331 b
331 b
52 141
Ft
Beszállítói készleten alacsony példányszámban
Küldés 12-17 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
/
Puha kötésű
63 456
Ft
/
Lap
4 156
Ft
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.
Információ a könyvről
Teljes megnevezés
Methods of Cut-Elimination
Szerző
Matthias Baaz, Alexander Leitsch
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2013
Oldalszám
290
EAN
9789400734975
ISBN
9400734972
Libristo kód
01979707
Kiadó
Springer Netherlands
Súly
419
Méretek
158 x 14 x 15
