Skip to main content
Springer Nature Librarian Portal
Germany
You have 0 items in your cart
Log in
Menu

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0
View Cart
  • eBook:Proof Theory and Algebra in Logic

    Proof Theory and Algebra in Logic

    Hiroakira Ono
    978-981-13-7997-0
    2019
    Edition 1
    • A textbook for short introductory courses on nonclassical logic at the undergraduate or graduate level
    • Offers a concise introduction to two major techniques in the study of nonclassical logic: proof theory and algebraic methods, and highlights a combination of proof theory with algebraic methods
    • Provides concrete examples showing how these techniques are applied in nonclassical logic
    • Demonstrates the complementary features of proof theory and algebraic methods by describing both their differences and similarities, as well as their connections

    €419

Is this helpful?

Yes No

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.