A Short Introduction to Intuitionistic Logic by Grigori Mints Paperbac
In stock
Smart shoppers OnBuy it!
- Earn Cashback on every purchase – spend it instantly on your next order
- Free delivery – on millions of items across the site
- Customers love us – 134,000 Trustpilot reviews and an 'Excellent' rating
Interest-free payment options available
See full product description & details
Delivery: Standard (Free) | Mon 21st - Wed 23rd Sep
Sold by: Ria Christie Collections
Returns: 30 days
180-day payment protection
A Short Introduction to Intuitionistic Logic by Grigori Mints Paperbac Description
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs.
Details
| OPC | PXPK22S |
|---|---|
| Brand | riachristiecollections |
| Codes | 1475773196 (ISBN-10) |
| 9781475773194 (ISBN) | |
| MPN | 9781475773194 |
Compare Sellers for A Short Introduction to Intuitionistic Logic by Grigori Mints Paperbac
- New from £141.20
| Seller | Ratings | Warranty | Returns | Price | Delivery | Total | Quantity |
|---|---|---|---|---|---|---|---|
| (207 reviews) | - |
30 Days
Free Returns No
|
£141.20
|
+Free Delivery
Est. Delivery:
21st-23rd Sep
|
£141.20
|
Earn as you shop with instant Cashback on everything.
No catch, no cost
- Paid into your OnBuy account
- Spend it on your next purchase
- Save it or withdraw it
Become a Cashback VIP
Just 1 purchase unlocks bigger deals & rates