Key Features:
- The first book that explains how one can look at the Curry-Howard functional interpretation in a more general perspective
- Covers the important aspects of the interplay between terms and formulas, proof constructions and deductions
- Consists of numerous examples in setting the desired parameters in a deductive calculus
Pay easily by card, Klarna, Apple Pay or Google Pay. Not happy? You always have a 14-day money-back guarantee. Read more in our terms. If you have any questions, email us at hello@memmo.org.
Memmo makes studying easier – wherever you are in the world. We bring your course books and smart study tools together in one place: summaries, quizzes, podcasts and flashcards. Plus Ted, your study buddy who answers anything you wonder. Over 75,000 students already study here – built to help you learn faster and stress less.
You might also like
Buy the book0