
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 Softcover reprint of the original 1st ed. 2002 edition
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 | English |
Ver tudo de Grigori Mints ( por exemplo Hardcover Book e Paperback Book )