| 000 | 00785nam a2200205 a 4500 | ||
|---|---|---|---|
| 008 | 120914s2012^^^^xxua^^^^^^^^^^000^0^eng^d | ||
| 020 | _a978-0-691-15574-6 (empastado, cubierta dura : papel alcalino) | ||
| 035 | _aMX001001578389 | ||
| 040 |
_aUNAMX _bspa _cUNAMX |
||
| 050 | 4 |
_aQA9.2 _bA53 |
|
| 245 | 0 | 0 |
_aAlan turing's systems of logic : _bthe Princeton thesis / _cedited and introduced by Andrew W. Appel |
| 264 | 1 |
_aPrinceton, New Jersey : _bPrinceton University Press, _c2012 |
|
| 300 |
_a142 páginas : _bilustraciones |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 600 | 1 | 4 |
_aTuring, Alan Mathison, _d1912-1954 |
| 650 | 4 | _aLógica simbólica y matemática | |
| 700 | 1 |
_aAppel, Andrew W., _d1960- , _eeditor |
|
| 999 |
_c11177 _d11177 |
||