Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Proof Theory

Proof Theory

Schütte, K.
Crossley, J. N.

Paperback

Series: Grundlehren Der Mathematischen Wissenschaften, Book 225

General GardeningGeneral Mathematics

ISBN10: 364266475X
ISBN13: 9783642664755
Publisher: Springer Nature
Published: Nov 17 2011
Pages: 302
Weight: 1.15
Height: 0.70 Width: 6.60 Depth: 9.60
Language: English
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.

Also in

General Gardening

View All