Short Introduction to Intuitionistic Logic
G. Mints
9780306463945
onload="displayBookAvailableStatusC()"/>
Rating:
Rs. 86100.00
Delivery in 25 - 45 working days
Covid-19 Notice
Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days)
Call our hotline 011 7 463 463
Additional Information
Add to wishlist
| Author(s) :- G. Mints | Format :- Hardback |
| Publisher :- Springer Science+Business Media | Pub. Date :- 2000-10-31 |
| ISBN-13 :- 9780306463945 | |
| Series:- University Series in Mathematics | |
| Edition:- 2000 ed. | |
| Dimensions :- 235 x 155 x 17 | |
| Weight :- 840 |
Description
Presents intuitionistic logic as part of familiar classical logic which allows mechanical extraction of programs from proofs. This book provides an introduction and a background for reading research literature in logic and computer science as well as advanced monographs.
