Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 11.02 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 11.02 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Methods of Cut-Elimination
Język
Angielski
Angielski
Książka
Twarda
?
304 b
304 b
517.33
zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-16 dni
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
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.§
Informacje o książce
Pełna nazwa
Methods of Cut-Elimination
Autor
Alexander Leitsch, Matthias Baaz
Język
Angielski
Angielski
Oprawa
Książka - Twarda
Data wydania
2011
Liczba stron
290
EAN
9789400703193
ISBN
9400703198
Kod Libristo
02065390
Wydawnictwo
Springer
Waga
568
Wymiary
159 x 239 x 24
