Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Methods of Cut-Elimination

Език Английски езикАнглийски език
Книга С меки корици
Книга Methods of Cut-Elimination Matthias Baaz
Код Либристо: 01979707
Издателство Springer Netherlands, ноември 2012
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth... Цялото описание
? points 263 b
108.49 €
212.19  лв
Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Los días y las noches en la casa grande Juan Martín-Mora Haba / Книга С меки корици
common.buy 17.10 € 33.45 лв
Gendersensible Gestaltung des neuen Studiengangs "BWL - Digitale Wirtschaft" an der Beuth Hochschule für Technik Berlin Martina Brandt / Книга Лист
common.buy 10.80 € 21.12 лв
Ideologische Durchdringung der Universitat im Nationalsozialismus. Der Kriegseinsatz der Deutschen Geisteswissenschaften Nejla Demirkaya / Книга С меки корици
common.buy 17.10 € 33.45 лв
vergessene Zimmer Manfred Liebrecht / Книга С меки корици
common.buy 7.70 € 15.05 лв
La Biblioth?que du gilet jaune: De la col?re ? la conscience; de la révolte ? la révolution Tsarafine Mohamed-Oumbia / Книга С меки корици
common.buy 8.94 € 17.48 лв
Les métamorphoses de Virgile - réception de la figure de l'auctor, Antiquité, Moyen âge, temps modernes / Книга С меки корици
common.buy 86.32 € 168.82 лв
Essere e analogia Vincenzo Cicero / Книга С меки корици
common.buy 21.14 € 41.34 лв
Magie Josef Veselý / Книга Лист
common.buy 19.02 € 37.19 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Methods of Cut-Elimination
Автор Matthias Baaz, Alexander Leitsch
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 290
Баркод 9789400734975
ISBN 9400734972
Код Либристо 01979707
Издателство Springer Netherlands
Тегло 419
Размери 158 x 14 x 15

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Politics and Development in the Caribbean Basin J Grugel / Книга С меки корици
common.buy 66.52 € 130.10 лв
The Raven Cipher Madison Carter / Книга С меки корици
common.buy 13.07 € 25.57 лв
Proceedings of the 9th International Conference on Computational Science and Technology Rayner Alfred / Книга С меки корици
common.buy 378.98 € 741.22 лв
Quiet Play ACTIVITY CRUSADES / Книга С меки корици
common.buy 12.09 € 23.65 лв
The Cold Eye Laura Anne Gilman / Книга С меки корици
common.buy 13.59 € 26.58 лв
Bessie's Fortune Mary Jane Holmes / Книга С твърди корици
common.buy 39.18 € 76.62 лв
Arab Contemporary: Architecture & Identity Poul Erik Tojner / Книга С меки корици
common.buy 38.40 € 75.10 лв
Turkey Telecom Laws and Regulations Handbook - Strategic Information and Regulations Inc IBP / Книга С меки корици
common.buy 85.13 € 166.49 лв
Modelling Covariances and Latent Variables Using EQS Andrew (all of The Institute of Psychiatry) Pickles / Книга С меки корици
common.buy 190.21 € 372.02 лв
Metabolic Syndrome Research Trends Thomas E Batone / Книга С твърди корици
common.buy 264.54 € 517.40 лв
Pathway of Peace/ Cistercian Wisdom according to Saint Bernard Charles Dumont / Книга С меки корици
common.buy 26.05 € 50.94 лв
National Curriculum English Practice Book for Year 1 Scholastic / Книга С меки корици
common.buy 10.38 € 20.31 лв
Catholicism Today Evyatar Marienberg / Книга С меки корици
common.buy 89.73 € 175.49 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?