A Short Introduction to Intuitionistic Logic by Grigori Mints
Brand: Springer Science+Business Media
A Short Introduction to Intuitionistic Logic by Grigori Mints
Your transaction is secure
We work hard to protect your security and privacy. Our payment security system encrypts your information during transmission. We don't share your credit card details with third-party sellers, and we don't sell your information to others.
Secure Payment
PayPal orders are covered with PayPal Buyer Protection even if you pay by card
Delivery & Returns
Multiple delivery options & 30 day returns as standard
Trusted Sellers
We verify all of our retailers
Accepted Cards
All major credit cards are accepted
Product Description
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
Condition : New
Author : Grigori Mints
Weight : NA
Publisher : Springer ScienceBusiness Media
Language : English
EAN : 9780306463945
ISBN10 : 0306463946
Format : Hardback
Date of Publication : 20000731
Place of Publication : United States
Pagination : 131 Pages IX 131 P.
Dimensions : 235 X 155
- Categories
- Media
- Books
- Print Books
- EAN
- 9780306463945
- ISBN
- Our Product Code
- 7545513310