Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Proof Theory

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

K. Schutte

Limba

engleză

Carte Carte broșată

Codul Libristo: 06624042

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noiembrie 2011

This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren... Descrierea completă

Codul Libristo: 06624042

341 b

740.72 lei

În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

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

Carte broșată

62.96 lei

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

Carte broșată

75.58 lei

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

Carte broșată

162.42 lei

Praktikum Elektrische Messtechnik Gerhard Frühauf

Carte broșată

426.60 lei

Rastafari Volker Barsch

Carte broșată

61.40 lei

Von Der Physiognomik Johann Caspar Lavater

Copertă tare

124.37 lei

Nociones del arte militar Villamartín

Carte broșată

73.59 lei

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

Carte broșată

144.59 lei

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

Carte broșată

89.86 lei

Cikartmalarla Doga Macerasi Orman Mariana Ruiz Johnson

Carte broșată

100.07 lei

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

Carte broșată

214.96 lei

IRMINA BARBARA YELIN

Copertă tare

166.49 lei

Mondo Reverso. .1 Arnaud Le Gouëfflec

Copertă tare

93.82 lei

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

Carte broșată

95.28 lei

Emil und die drei Zwillinge Erich Kästner

Copertă tare

66.61 lei

Naruto Anime Comic 01: Shippuden Masashi Kishimoto

Carte broșată

108.94 lei

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