| 000 | 00447 a2200157 4500 | ||
|---|---|---|---|
| 000 | BKB | ||
| 001 | 136329 | ||
| 005 | 20200902153021.0 | ||
| 008 | |||
| 082 |
_a005.131 _bD75P |
||
| 100 | 1 | _aGilles, Dowek | |
| 245 | 1 |
_aProof and algorithms : an introduction to logic and computability _cby Dowek Gilles |
|
| 260 |
_aLondon _bSpringer _c2011 |
||
| 300 | _a155p. | ||
| 690 | _aMathematics; Algorithms | ||
| 999 |
_c9559 _d9559 |
||