| 000 | 00782nam a22002537a 4500 | ||
|---|---|---|---|
| 003 | GSU | ||
| 005 | 20240710175732.0 | ||
| 008 | 240710b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9780691164731 (paperback) | ||
| 040 |
_beng _cGSU _erda |
||
| 050 |
_aQA9.2 _bALA |
||
| 245 |
_aAlan's turing systems of logic : _bthe princeton thesis / _cedited by Andrew W. Appel. |
||
| 260 |
_aNew Jersey : _bPrinceton University Press, _c2012 |
||
| 264 | 4 | _c©2012 | |
| 300 |
_axv, 142 pages ; _c26 cm. |
||
| 336 |
_atext _2rdacontent |
||
| 337 |
_aunmediated _2rdamedia |
||
| 338 |
_avolume _2rdacarrier |
||
| 504 | _aIncludes bibliographical references. | ||
| 650 | _2Science | ||
| 650 | _2Mathematics | ||
| 700 |
_aAppel, Andrew W. _eeditor |
||
| 942 |
_2lcc _cBK _hQA9.2 _kQA _mALA _n0 |
||
| 999 |
_c2195 _d2195 |
||