Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 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 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Proof Theory

Name: Proof Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 06624042
Price: 140.2 EUR
Availability: InStock
Author: K. Schutte
ISBN: 9783642664755

K. Schutte

Език

Английски език

Книга С меки корици

Код Либристо: 06624042

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ноември 2011

This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren... Цялото описание

Код Либристо: 06624042

341 b

140.20 €

274.21 лв

Външен склад Изпращаме след 5-8 дни

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

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

Tentations limousines Bonardi

С меки корици

16.34 € 31.97 лв

Tout Savoir Sur Le Braque Hongrois ? Poil Dur Saphira Eiger

С меки корици

6.68 € 13.06 лв

زهور الجحيم إيلاريا توتي

С меки корици

37.12 € 72.59 лв

Polonius Merlyn y Pwll Glo Feronia Parker Thomas

С меки корици

10.33 € 20.20 лв

Petits arrangements avec les mots Droguet

С меки корици

21.59 € 42.22 лв

குமரிக்கோட்டம் அண்ணாதுரை

С меки корици

13.62 € 26.64 лв

nuova psicologia. L'eredità di cinquant'anni di ricerca sulla coscienza Stanislav Grof

С меки корици

17.53 € 34.28 лв

Cabaret Decameron. Una rivisitazione in romanesco di dodici novelle dal capolavoro di Giovanni Boccaccio Cecilia Lavatore

С меки корици

24.36 € 47.65 лв

PABLO PICASSO LES DERNIERES ANNEES MIGUEL MONTANES

Книга

28.84 € 56.40 лв

L'oncle llop XOSE BALLESTEROS

С меки корици

14.70 € 28.75 лв

Das neue Handbuch des Journalismus und des Online-Journalismus Wolf Schneider

С меки корици

18.04 € 35.29 лв

Von Der Physiognomik Johann Caspar Lavater

С твърди корици

23.54 € 46.04 лв

Rastafari Volker Barsch

С меки корици

11.61 € 22.72 лв

Feldkuche Auguste Kux

С меки корици

26.32 € 51.47 лв

Praktikum Elektrische Messtechnik Gerhard Frühauf

С меки корици

80.71 € 157.86 лв

Estilo de vida y envejecimiento Octavio Hernández Pelayo

С меки корици

27.30 € 53.39 лв

L'Oeuf Dans La Nature Morte Du XVIII Si cle Mona Bessaa

С меки корици

27.35 € 53.49 лв

Comtesse Paule: Les Drames de la Vie Emile Richebourg

С меки корици

47.91 € 93.71 лв

Corps de Droit Francais, Civil, Commercial Et Criminel T1 Louis Rondonneau

С меки корици

35.88 € 70.18 лв

Naruto Anime Comic 01: Shippuden Masashi Kishimoto

С меки корици

21.38 € 41.82 лв

Nociones del arte militar Villamartín

С меки корици

14.39 € 28.15 лв

Emil und die drei Zwillinge Erich Kästner

С твърди корици

12.59 € 24.63 лв

Mondo Reverso. .1 Arnaud Le Gouëfflec

С твърди корици

17.73 € 34.68 лв

IRMINA BARBARA YELIN

С твърди корици

32.85 € 64.25 лв

This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book "Beweistheorie". In a similar way we use right and left parts of formulas for intuitionistic predicate logic. We introduce the theory of functionals of finite types in order to present the Gi:idel interpretation of pure number theory. Instead of ramified type theory, type-free logic and the associated formalization of parts of analysis which we treated in the book "Beweistheorie", we have developed simple classical type theory and predicative analysis in a systematic way. Finally we have given consistency proofs for systems of lI~-analysis following the work of G. Takeuti. In order to do this we have introduced a constni'ctive system of notation for ordinals which goes far beyond the notation system in "Beweistheorie".