Recomienda este artículo a tus amigos:
A Short Introduction to Intuitionistic Logic - University Series in Mathematics Grigori Mints Softcover reprint of the original 1st ed. 2002 edition
A Short Introduction to Intuitionistic Logic - University Series in Mathematics
Grigori Mints
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
131 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 26 de abril de 2013 |
| ISBN13 | 9781475773194 |
| Editores | Springer-Verlag New York Inc. |
| Páginas | 131 |
| Dimensiones | 155 × 235 × 8 mm · 231 g |
| Lengua | Inglés |
Ver todo de Grigori Mints ( Ej. Hardcover Book y Paperback Book )
Los regalos de Navidad se podrán canjear hasta el 31 de enero