Powiedz znajomym o tym przedmiocie:
Implementing Mathematics with the Nuprl Proof Development System R L Constable
Cena
zł 77,90
Zamówione z odległego magazynu
Przewidywana dostawa 7 - 21 wrz
Otrzymuj powiadomienia o nowych wydawnictwach R L Constable
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
Implementing Mathematics with the Nuprl Proof Development System
R L Constable
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 23 stycznia 2012 |
| ISBN13 | 9781468059106 |
| Wydawcy | Createspace |
| Strony | 310 |
| Wymiary | 152 × 229 × 17 mm · 417 g |
Zobacz wszystko od R L Constable ( np. Paperback Book )