A Short Introduction to Intuitionistic Logic
Download or Read eBook A Short Introduction to Intuitionistic Logic PDF written by Grigori Mints and published by Springer Science & Business Media. This book was released on 2000-10-31 with total page 130 pages. Available in PDF, EPUB and Kindle.
| Author | : Grigori Mints |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 130 |
| Release | : 2000-10-31 |
| ISBN-10 | : 9780306463945 |
| ISBN-13 | : 0306463946 |
| Rating | : 4/5 (45 Downloads) |
Book Synopsis A Short Introduction to Intuitionistic Logic by : Grigori Mints
Book excerpt: Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs to make the material more accessible. The presentation is based on natural deduction and readers are assumed to be familiar with basic notions of first order logic.
