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