A Short Introduction to Intuitionistic Logic
Grigori Mints
Springer Science+Business Media, 2000
167,75 €On orderDelivery: 2-3 weeks
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
- ISBN-13
- 9780306463945
- ISBN-10
- 0306463946
- Publisher
- Springer Science+Business Media
- Year
- 2000
- Publication date
- 2000-10-31
- Pages
- 131
- Dimensions
- 163x242x17
- Weight
- 372