Pastāsti draugiem par šo preci:
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday Christoph Benzmueller
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Christoph Benzmueller
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2008. gada 1. decembris |
| ISBN13 | 9781904987703 |
| Izdevēji | College Publications |
| Lapas | 480 |
| Izmēri | 156 × 234 × 25 mm · 666 g |
| Valoda | Angļu |
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim