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.""
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Grundlehren der mathematischen Wissenschaften, 225 |
Release date: |
November 2011 |
First published: |
1977 |
Authors: |
K. Schutte
|
Translators: |
J. N. Crossley
|
Dimensions: |
244 x 170 x 17mm (L x W x T) |
Format: |
Paperback
|
Pages: |
302 |
Edition: |
Softcover reprint of the original 1st ed. 1977 |
ISBN-13: |
978-3-642-66475-5 |
Categories: |
Books >
Science & Mathematics >
Mathematics >
General
|
LSN: |
3-642-66475-X |
Barcode: |
9783642664755 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!