Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 €
Pošta 4.99 €
DPD 5.99 €
GLS 3.99 €
GLS paketomat 3.49 €
Box Now 4.49 €
Kako kupovati
Pomoć
Dostava
Overseas 4.99 €
Pošta 4.99 €
DPD 5.99 €
GLS 3.99 €
GLS paketomat 3.49 €
Box Now 4.49 €
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Savjetnik za kupnju
Ovdje smo zbog vas!
+385 21 784 0072
Moj račun
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti.
Izradite besplatni račun
▸
Prazno :-(
0
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!
Methods of Cut-Elimination
Jezik
Engleski
Engleski
Knjiga
Tvrdi uvez
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth...
Cijeli opis
Libristo kod: 02065390
?
304 b
304 b
121.31
€
Vanjske zalihe u manjem broju
Šaljemo za 13-16 dana
30 dana za povrat kupljenih proizvoda
Moglo bi vas zanimati i
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.§
Informacije o knjizi
Puni naziv
Methods of Cut-Elimination
Autor
Alexander Leitsch, Matthias Baaz
Jezik
Engleski
Engleski
Uvez
Knjiga - Tvrdi uvez
Datum izdanja
2011
Broj stranica
290
EAN
9789400703193
ISBN
9400703198
Libristo kod
02065390
Nakladnici
Springer
Težina
568
Dimenzije
159 x 239 x 24
