Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Proof Theory

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

K. Schutte

Language

English

Book Paperback

Libristo code: 06624042

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2011

This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren... Full description

Libristo code: 06624042

352 b

51 622 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Paperback

4 257 Ft

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

Paperback

5 238 Ft

Finalité 5 - BTS AM 2e année Les Finalités Livre du professeur Jean-Pierre Cluniat

Paperback

10 976 Ft

Praktikum Elektrische Messtechnik Gerhard Frühauf

Paperback

29 730 Ft

Rastafari Volker Barsch

Paperback

4 299 Ft

Von Der Physiognomik Johann Caspar Lavater

Hardback

8 685 Ft

Nociones del arte militar Villamartín

Paperback

4 974 Ft

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

Paperback

10 097 Ft

... Adventskalenderbuch 24 Weihnachtslieder, 24 Weihnachtsbilder & die Weihnachtsgeschichte Bob Joblin

Paperback

6 265 Ft

Cikartmalarla Doga Macerasi Orman Mariana Ruiz Johnson

Paperback

6 969 Ft

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

Paperback

14 909 Ft

IRMINA BARBARA YELIN

Hardback

11 254 Ft

Mondo Reverso. .1 Arnaud Le Gouëfflec

Hardback

6 557 Ft

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

Paperback

6 645 Ft

Emil und die drei Zwillinge Erich Kästner

Hardback

4 664 Ft

Naruto Anime Comic 01: Shippuden Masashi Kishimoto

Paperback

7 367 Ft

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".