- Out-of-Stock
![Lectures on the Curry-Howard Isomorphism Lectures on the Curry-Howard Isomorphism](https://kamami.pl/3088-large_default/lectures-on-the-curry-howard-isomorphism.jpg)
free shipping in Poland for all orders over 500 PLN
If your payment will be credited to our account by 11:00
Each consumer can return the purchased goods within 14 days
Key features
- The Curry-Howard Isomorphism treated as a common theme
- Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics
- Thorough study of the connection between calculi and logics
- Elaborate study of classical logics and control operators
- Account of dialogue games for classical and intuitionistic logic
- Theoretical foundations of computer-assisted reasoning
· The Curry-Howard Isomorphism treated as the common theme.
· Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics
Thorough study of the connection between calculi and logics.
· Elaborate study of classical logics and control operators.
· Account of dialogue games for classical and intuitionistic logic.
· Theoretical foundations of computer-assisted reasoning
Preface
acknowledgments
1. Typefree lambda-calculus
2. Intuitionistic logic
3. Simply typed lambdacalculus
4. The Curry-Howard isomorphism
5. Proofs as combinators
6. Classical logic and control operators
7. Sequent calculus
8. First-order logic
9. First-order arithmetic
10. Gödel's T system
11. Second-order logic and polymorphism
12. Second-order arithmetic
13. Dependent types
14. Pure type systems and the lambda-cube
A Mathematical Background
B Solutions and hints to selected exercises
Bibliography
index
No product available!
No product available!
No product available!
No product available!
No product available!
No product available!
1/4-inch, 2-megapixel camera with MT9D112 controller, SOC2020, Micron, RoHS
No product available!
No product available!
Tamiya 70106 4-Channel Remote Control Box
No product available!
No product available!
No product available!
HK Heavy Duty Alloy 1in Servo Arm - Hitec (Red) (18374)
No product available!
No product available!
No product available!
PCB board and programmed Bluetooth wireless thermometer system. AVT1863 A +
No product available!
AUTOMOBILE ALARM CONTROL PANEL WITH VARIAGE PASSWORD AND RS485 - PLATEBOARD AND PROGRAMMED LAYOUT
No product available!