| 000 | 00468nam a22001577a 4500 | ||
|---|---|---|---|
| 008 | 171118b2015 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780521133777 | ||
| 082 | _a510.9 DOW-G | ||
| 100 | _aDowek, Gilles | ||
| 245 |
_aComputation, proof, machine : _bmathematics enters a new age / _cGilles Dowek |
||
| 260 |
_aNew York _bCambridge University Press _c2015 |
||
| 300 | _a152 p. | ||
| 365 |
_aGBP _b25.99. |
||
| 650 | _aMathematics, Ancient | ||
| 650 | _aMathematics | ||
| 999 |
_c28120 _d28120 |
||