Conte aos seus amigos sobre este item:
A Short Introduction to Intuitionistic Logic - University Series in Mathematics Softcover reprint of the original 1st ed. 2002 edition
Grigori Mints
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 26 de abril de 2013 |
| ISBN13 | 9781475773194 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 131 |
| Dimensões | 155 × 235 × 8 mm · 231 g |
| Idioma | Inglês |
Ver tudo de Grigori Mints ( por exemplo Hardcover Book e Paperback Book )
Presentes de Natal podem ser trocados até 31 de janeiro