phone +385 21 784 0072
LIBRISTO 0
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 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Methods of Cut-Elimination

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Methods of Cut-Elimination Matthias Baaz
Libristo kod: 01979707
Nakladnici Springer Netherlands, studeni 2012
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth... Cijeli opis
? points 304 b
120.75 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Magie Josef Veselý / List
common.buy 17.30 €
The Cold Eye Laura Anne Gilman / Meki uvez
common.buy 14.28 €
Los días y las noches en la casa grande Juan Martín-Mora Haba / Meki uvez
common.buy 16.70 €
Bessie's Fortune Mary Jane Holmes / Tvrdi uvez
common.buy 41.65 €
Modelling Covariances and Latent Variables Using EQS Andrew (all of The Institute of Psychiatry) Pickles / Meki uvez
common.buy 160.30 €
Französische Grammatik Regina Lübke / Tvrdi uvez
common.buy 8.85 €
Metabolic Syndrome Research Trends / Tvrdi uvez
common.buy 228.64 €
Gendersensible Gestaltung des neuen Studiengangs "BWL - Digitale Wirtschaft" an der Beuth Hochschule für Technik Berlin Martina Brandt / List
common.buy 10.36 €

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 Matthias Baaz, Alexander Leitsch
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 290
EAN 9789400734975
ISBN 9400734972
Libristo kod 01979707
Nakladnici Springer Netherlands
Težina 419
Dimenzije 158 x 14 x 15

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun