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

Proofs and Computations

Език Английски езикАнглийски език
Книга С твърди корици
Книга Proofs and Computations Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Код Либристо: 04449225
Издателство Cambridge University Press, декември 2011
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies... Цялото описание
? points 251 b
103.64 €
202.71  лв
Външен склад Изпращаме след 14-21 дни

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

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

Подготвяме
Benni Bärenstark. Band 4 eyo / Книга С твърди корици
common.buy 11.79 € 23.05 лв
Die Sammlung Emmerig des Bezirks Oberpfalz Maya Brückl / Книга С меки корици
common.buy 23.01 € 45.01 лв
Le Paris des Merveilles - vol. 02/2 / Книга С твърди корици
common.buy 21.25 € 41.57 лв
En un tour de main Jo Witek / Книга С меки корици
common.buy 13.70 € 26.80 лв
DÓNDE UNO CAE LORENZO SILVA / Книга С твърди корици
common.buy 28.03 € 54.82 лв
El telescopio de Schopenhauer Donovan / Книга С меки корици
common.buy 21.10 € 41.26 лв
LA PRIMAVERA DE LOS ARABES Cyrille Pomès / Книга С меки корици
common.buy 23.58 € 46.12 лв

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to

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

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

Пълно заглавие Proofs and Computations
Автор Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2011
Брой страници 480
Баркод 9780521517690
ISBN 0521517699
Код Либристо 04449225
Издателство Cambridge University Press
Тегло 884
Размери 233 x 158 x 29

Категории

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

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

Mentalities of Gorillas and Orangutans H. Lyn Miles / Книга С твърди корици
common.buy 168.09 € 328.75 лв
Smart and Agile Cybersecurity for IoT and IIoT Environments Qasem Abu Al-Haija / Книга С твърди корици
common.buy 361.99 € 708.00 лв
Integrating Generative AI in Education to Achieve Sustainable Development Goals Ruchi Doshi / Книга С твърди корици
common.buy 336.39 € 657.92 лв
Everything I Need to Know I Learned from E.T. the Extra-Terrestrial NBC Universal / E-книга Adobe ePub DRM
common.buy 11.84 € 23.16 лв
Mother's World Fjabi World / Книга С меки корици
common.buy 10.34 € 20.22 лв
In the Crucible: Tales from Real Life (1909) Isabel Cecilia Williams / Книга С меки корици
common.buy 25.03 € 48.95 лв
Where The Flowers Grow: A Poetry Collection Sienna B Otero / Книга С меки корици
common.buy 12.15 € 23.76 лв
Routledge Companion to Animal-Human History Hilda Kean / Книга С твърди корици
common.buy 368.77 € 721.25 лв
American Economic History: 2014 Edition Richard E Carmichael Ph D / Книга С меки корици
common.buy 14.79 € 28.92 лв
Blood Underground: Book One: Thavs Terence Jackson / Книга С меки корици
common.buy 9.41 € 18.40 лв
Reassessing Egalitarianism J. Moss / Книга С меки корици
common.buy 56.11 € 109.75 лв
THE COMPLETE PAINTING AND DRAWING HANDB Simon Tuite / Книга С твърди корици
common.buy 41.48 € 81.12 лв
Mindful Aesthetics Chris Danta / Книга С твърди корици
common.buy 194.93 € 381.26 лв
The: Grand Haven Area: 1860-1960 Wallace Ewing / Книга С меки корици
common.buy 22.13 € 43.29 лв
Three New Deals Wolfgang Schivelbusch / Книга С меки корици
common.buy 15.77 € 30.84 лв
White Hot-True Blue Richard J Alapack / Книга С меки корици
common.buy 19.29 € 37.72 лв
Over the Sea and Far Away, Being a Narrative of Wanderings Round the World. with Illustrations. Thomas Woodbine Hinchliff / Книга С меки корици
common.buy 28.86 € 56.44 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo