| 000 | 00754nam a2200409Ia 4500 | ||
|---|---|---|---|
| 010 | _a | ||
| 020 | _a9780521133777 | ||
| 082 |
_a510.9 _bD745.CP |
||
| 100 | _aDowek, Gilles | ||
| 110 | _a | ||
| 245 |
_aComputation, proof, machine _bmathematics enters a new age |
||
| 250 | _a | ||
| 260 |
_aNew York _bCambridge University Press _c2015 |
||
| 300 | _avii, 152p. Bibl. | ||
| 490 | _a | ||
| 500 | _a | ||
| 600 | _a | ||
| 610 | _a | ||
| 611 | _a | ||
| 630 | _a | ||
| 650 | _a | ||
| 651 | _a | ||
| 654 | _a | ||
| 690 | _a | ||
| 700 |
_a _b _c |
||
| 710 |
_a _b _c |
||
| 711 | _a | ||
| 720 | _a | ||
| 730 | _a | ||
| 740 | _a | ||
| 752 | _a | ||
| 856 |
_d _f |
||
| 904 | _a | ||
| 904 | _a | ||
| 965 | _a | ||
| 921 | _a34143 | ||
| 999 |
_c34143 _d34143 |
||