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
| 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 |
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.