Powiedz znajomym o tym przedmiocie:
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
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 26 kwietnia 2013 |
| ISBN13 | 9781475773194 |
| Wydawcy | Springer-Verlag New York Inc. |
| Strony | 131 |
| Wymiary | 155 × 235 × 8 mm · 231 g |
| Język | Angielski |
Zobacz wszystko od Grigori Mints ( np. Hardcover Book i Paperback Book )
Świąteczne prezenty można zwracać do 31 stycznia