Proof Theory

Proof Theory  (English, Paperback, Schutte K.)

Be the first to Review this product
₹15,468
22,434
31% off
i
Available offers
  • Bank Offer100% Cashback upto 500Rs on Axis Bank SuperMoney Rupay CC UPI transactions on super.money UPI
    T&C
  • Bank Offer5% Unlimited Cashback on Flipkart Axis Bank Credit Card
    T&C
  • Partner OfferBuy Furniture worth more than 30000, get Min. 3000 off!
    Know More
  • Delivery
    Check
    Enter pincode
      Delivery by10 Jul, Thursday|40
      ?
    View Details
    Author
    Read More
    Highlights
    • Language: English
    • Binding: Paperback
    • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • Genre: Mathematics
    • ISBN: 9783642664755, 9783642664755
    • Pages: 302
    Seller
    AtlanticPublishers
    3.6
    • 7 Days Replacement Policy
      ?
  • See other sellers
  • Description
    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".
    Read More
    Specifications
    Book Details
    Imprint
    • Springer-Verlag Berlin and Heidelberg GmbH & Co. K
    Dimensions
    Height
    • 244 mm
    Length
    • 170 mm
    Weight
    • 555 gr
    Frequently Bought Together
    1 Item
    15,468
    1 Add-on
    536
    Total
    16,004
    Be the first to ask about this product
    Safe and Secure Payments.Easy returns.100% Authentic products.
    You might be interested in
    Psychology Books
    Min. 50% Off
    Shop Now
    Medical And Nursing Books
    Min. 50% Off
    Shop Now
    General Fiction Books
    Min. 50% Off
    Shop Now
    Books
    Min. 50% Off
    Shop Now
    Back to top