Type Theory and Formal Proof
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical mac...
| Butik | Lagerstatus | Leverans | Pris | Frakt | Totalt |
|---|---|---|---|---|---|
| Adlibris | - | 909 | 0 | 909 SEK | |
| Bokus | - | 968 | 0 | 968 SEK | |
| Akademibokhandeln | - | 1239 | 0 | 1239 SEK |