Проверка на състоянието на поръчката
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€

Gentzen's Centenary

The Quest for Consistency

Език Английски езикАнглийски език
Книга С меки корици
Книга Gentzen's Centenary Reinhard Kahle
Код Либристо: 05267073
Издателство Springer International Publishing AG, ноември 2015
This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in ma... Цялото описание
? points 406 b
167.83 €
328.25  лв
Външен склад Изпращаме след 10-18 дни

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

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

Nonlinear Potential Theory and Weighted Sobolev Spaces Bengt O. Turesson / Книга С меки корици
common.buy 41.48 € 81.12 лв
Dictionnaire étymologique, historique et comparé du français de Louisiane Kevin J. Rottet / Книга С твърди корици
common.buy 259.53 € 507.60 лв
A Contextual Approach to Human Development Girishwar Misra / Книга С твърди корици
common.buy 209.10 € 408.97 лв
Les liaisons dangereuses Choderlos de Laclos / Книга С твърди корици
common.buy 50.58 € 98.92 лв
Rockstars Fausto Gilberti / Книга С меки корици
common.buy 31.18 € 60.99 лв
Sociální pouto v éře virtuality Gérard Dubey / Книга С меки корици
common.buy 1.86 € 3.63 лв
L'Hermeneutique: Source d'Interpretation Biblique Joubert Michel / Книга С меки корици
common.buy 23.84 € 46.62 лв
Neue Gedichte Georg Herwegh / Книга С меки корици
common.buy 24.56 € 48.04 лв
Gender Im Blick Karin Gludovatz / Книга С твърди корици
common.buy 78.15 € 152.84 лв
Mord am Leuchtturm, 3 Audio-CDs Klaus-Peter Wolf / Аудио Аудио компактдиск
common.buy 23.79 € 46.52 лв
Mein Kuschel-Fühlbuch - Lieblingstiere, Stoffbilderbuch Francesca Ferri / Игра/играчка Играчка
common.buy 9.15 € 17.89 лв
Correspondance Generale de La Beaumelle Hubert Angliviel de La Beaumelle / Книга С твърди корици
common.buy 203.00 € 397.04 лв

This work comprises articles by leading proof-theorists attesting to Gentzen's enduring legacy in mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to most recent developments in proof theory. Gentzen founded modern proof theory. His subsequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.

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

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

Пълно заглавие Gentzen's Centenary
Автор Reinhard Kahle, Michael Rathjen
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 561
Баркод 9783319101026
ISBN 3319101021
Код Либристо 05267073
Издателство Springer International Publishing AG
Тегло 866
Размери 155 x 30 x 30

Категории

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

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

Entropy, Search, Complexity Imre Csiszar / Книга С твърди корици
common.buy 119.73 € 234.17 лв
Learn-At-Home: Explore Math Bundle Grade 6: 4-Book Set Multiple Authors / Игра/играчка Игра
common.buy 54.82 € 107.22 лв
Stink and the Great Guinea Pig Express Peter H. Reynolds / Книга С меки корици
common.buy 5.48 € 10.71 лв
Academy Governance Checklists Gillian Allcroft / Книга С меки корици
common.buy 54.04 € 105.70 лв
Black Circles: LiFe Katlyn Lipomi / Книга С меки корици
common.buy 12.15 € 23.76 лв
Jetta: The Calling Series (Book 2) Deana Zhollis / Книга С меки корици
common.buy 14.89 € 29.12 лв
Last Flight Gregory P. Liefer / Книга С твърди корици
common.buy 21.51 € 42.07 лв
Destiny Mari Alegre / Книга С меки корици
common.buy 17.68 € 34.59 лв
Solving Irregularly Structured Problems in Parallel Afonso Ferreira / Книга С меки корици
common.buy 54.41 € 106.41 лв
Elements of Photonics - In Free Space Media V 1 Keigo Iizuka / Книга С твърди корици
common.buy 232.53 € 454.80 лв
Knit the Alphabet Claire Garland / Книга С меки корици
common.buy 17.99 € 35.19 лв
Top
One Piece, Vol. 3 Eiichiro Oda / Книга С меки корици
common.buy 10.39 € 20.32 лв
W. Axl Rose Mick Wall / Книга С меки корици
common.buy 23.27 € 45.51 лв

Вход

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

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

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

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

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