Vertel uw vrienden over dit artikel:
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 26 april 2013 |
| ISBN13 | 9781475773194 |
| Uitgevers | Springer-Verlag New York Inc. |
| Pagina's | 131 |
| Afmetingen | 155 × 235 × 8 mm · 231 g |
| Taal en grammatica | Engels |
Bekijk alles van Grigori Mints ( bijv. Hardcover Book en Paperback Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld