Skip to main content
Free shipping on orders over $95 Learn More
Toggle menu

Most Popular

    Blog
    0
    0
    Zoom the image with the mouse

    Advances in Proof Theory

    by

    12 order in last 36 hour
    ISBN: 9783319805139
    List Price: $109.99
    Share:
    Special Offers Available
    View Offers
    Free shipping on orders over $95
    Buy one with 1% offer on sale price
    Buy New
    Hurry! Only left
    Request a Price Match
    Image coming soon
    As low as $109.99

    Advances in Proof Theory (9783319805139)

    Birkhäuser

    Write a Review

    Image coming soon

    Birkhäuser

    Advances in Proof Theory (9783319805139)


    We can help you leverage the power of books

    Customer Service

    Connect with a dedicated account manager who is there every step of the way.

    Price Match Guarantee

    If you see better pricing elsewhere on your desired quantity, we will price match so you can be sure to get the best pricing.

    Free Shipping

    Enjoy free ground shipping on your order of $95 or more!

    Brand New Guarantee

    We only sell books that are brand new and protect that with a guarantee.

    Customization

    From author signatures to marketing inserts, custom packaging to brand stickers, we can help take your book marketing to the next level.

    Learn more about ordering
    Details
    The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium “Advances in Proof Theory”, which was held in Bern in December 2013.

    ​Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science. 

    The book, Advances in Proof Theory (9783319805139) [Order Bulk Books, Wholesale, Quantity Discount] with ISBN# 9783319805139 in by may be ordered bulk quantities. Minimum orders start at copies.

    BookPal Exclusives

    4 Business Book Trends of 2022
    4 Business Book Trends of 2022
    2022 OWL Award Longlist
    2022 OWL Award Longlist
    Celebrate International Day of the Girl with Rebel Girls!
    Celebrate International Day of the Girl with Rebel Girls!
    AuthorConnect Chat: Julie Winkle Giulioni Teaches Career Development
    AuthorConnect Chat: Julie Winkle Giulioni Teaches Career Development

    Product details

    Publisher: Springer International Publishing
    Publisher: Springer International Publishing

    GMA connects authors, speakers, and talent with the right people at the right time.

    Learn More

    Customer Reviews

    Products related to this item