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

Proof Theory

Език Английски езикАнглийски език
Книга С меки корици
Книга Proof Theory Takeuti
Код Либристо: 02569150
Издателство Dover Publications Inc., януари 2013
Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1.... Цялото описание
? points 47 b
19.46 €
38.06  лв
50% вероятност Ще претърсим света Кога ще получа книгата?

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

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

Basic Proof Theory Anne S. Troelstra / Книга С меки корици
common.buy 68.79 € 134.54 лв
Top
Type Theory and Formal Proof Rob Nederpelt / Книга С твърди корици
common.buy 99.74 € 195.08 лв

Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1. First Order Predicate Calculus 2. Peano Arithmetic Part II. Second Order and Finite Order Systems 3. Second Order Systems and Simple Type Theory 4. Infinitary Logic Part III. Consistency Problems 5. Consistency Proofs 6. Some Applications of Consistency Proofs Postscript Appendix Index

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

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

Пълно заглавие Proof Theory
Автор Takeuti
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 384
Баркод 9780486490731
ISBN 0486490734
Код Либристо 02569150
Издателство Dover Publications Inc.
Тегло 622
Размери 152 x 229 x 26

Категории

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

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

Category Theory in Context Riehl / Книга С меки корици
common.buy 26.86 € 52.53 лв
Axiom of Choice Thomas J Jech / Книга С меки корици
common.buy 12.06 € 23.58 лв
Top
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems Kurt Godel / Книга С меки корици
common.buy 9.88 € 19.33 лв
Categories for the Working Mathematician Saunders Mac Lane / Книга С твърди корици
common.buy 59.68 € 116.72 лв
How to Prove It Daniel J. Velleman / Книга С твърди корици
common.buy 136.39 € 266.76 лв
Top
How to Prove It Daniel J. Velleman / Книга С меки корици
common.buy 48.65 € 95.16 лв
Top
Proofs and Refutations Imre Lakatos / Книга С меки корици
common.buy 22.41 € 43.83 лв
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies Alfred S. Posamentier / Книга С меки корици
common.buy 26.50 € 51.83 лв
Introduction to Proof Theory Mancosu / Книга С меки корици
common.buy 39.39 € 77.04 лв
Handbook of Proof Theory S. R. Buss / Книга С твърди корици
common.buy 202.86 € 396.76 лв
Top
Wealth of Nations Adam Smith / Книга С меки корици
common.buy 7.50 € 14.67 лв
Handbook of Proof Theory S.R. Buss / E-книга Adobe ePub DRM
common.buy 203.22 € 397.47 лв
Conceptual Mathematics F William Lawvere / Книга С меки корици
common.buy 71.53 € 139.91 лв
Interactive Theorem Proving and Program Development Yves Bertot / Книга С твърди корици
common.buy 127.65 € 249.65 лв
Interactive Theorem Proving and Program Development Yves Bertot / Книга С меки корици
common.buy 90.48 € 176.96 лв
Proof Theory of N4-Paraconsistent Logics Heinrich (Universitat Leipzig) Wansing / Книга С меки корици
common.buy 25.57 € 50.00 лв
Top
New History of Western Philosophy Anthony Kenny / Книга С меки корици
common.buy 24.89 € 48.69 лв
Titanic Coloring Book P F Copeland / Книга С меки корици
common.buy 4.86 € 9.51 лв
Examined Life Robert Nozick / Книга С меки корици
common.buy 15.06 € 29.45 лв
Top
Clinical Orthoptics 3e Fiona J Rowe / Книга С меки корици
common.buy 73.66 € 144.06 лв
How to Create Manga: Drawing Facial Expressions Nextcreator Henshubu / Книга С меки корици
common.buy 14.28 € 27.93 лв
Sankarea Vol. 10 Mitsuru Hattori / Книга С меки корици
common.buy 9.16 € 17.91 лв
Top
The Power of the Powerless Václav Havel / Книга С меки корици
common.buy 10.19 € 19.93 лв
Ima Koi: Now I'm in Love, Vol. 6 Ayuko Hatta / Книга С меки корици
common.buy 7.81 € 15.28 лв

Вход

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

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

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

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

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