A Short Introduction to Intuitionistic Logic
€179.90
Available for sending in 4/5 days
Product Information
| ISBN | 9780306463945 |
|---|---|
| Publisher | Springer Science+Business Media |
| Price (excl. tax) | €169.72 |
| Tax | €10.18 |
| Price (incl. tax) | €179.90 |
| Availability | 2 units in external warehouse |
Product Description
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.