Cargando…
Alan Turing's systems of logic : the Princeton thesis /
Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Princeton, New Jersey :
Princeton University Press,
2012.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | JSTOR_on1277045874 | ||
| 003 | OCoLC | ||
| 005 | 20231005004200.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 211018s2012 njuch ob 000 0 eng d | ||
| 040 | |a JSTOR |b eng |e rda |e pn |c JSTOR |d N$T |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 020 | |a 9781400843213 |q (electronic bk.) | ||
| 020 | |a 1400843219 |q (electronic bk.) | ||
| 020 | |z 9780691164731 | ||
| 020 | |z 0691164738 | ||
| 020 | |z 9780691155746 | ||
| 020 | |z 0691155747 | ||
| 035 | |a (OCoLC)1277045874 | ||
| 037 | |a 22573/ctv1vb1pgj |b JSTOR | ||
| 050 | 4 | |a QA9 |b .T87 2012eb | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 015000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Turing, Alan, |d 1912-1954, |e author. | |
| 245 | 1 | 0 | |a Alan Turing's systems of logic : |b the Princeton thesis / |c edited and introduced by Andrew W. Appel. |
| 264 | 1 | |a Princeton, New Jersey : |b Princeton University Press, |c 2012. | |
| 300 | |a 1 online resource (xv, 142 pages) : |b portraits, facsimiles | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a The birth of computer science at Princeton in the 1930s / Andrew W. Appel -- Turing's thesis / Solomon Feferman -- Notes on the manuscript -- Systems of logic based on ordinals / Alan Turing. | |
| 520 | 8 | |a Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science. | |
| 588 | 0 | |a Print version record. | |
| 590 | |a JSTOR |b Books at JSTOR All Purchased | ||
| 590 | |a JSTOR |b Books at JSTOR Demand Driven Acquisitions (DDA) | ||
| 590 | |a JSTOR |b Books at JSTOR Evidence Based Acquisitions | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 700 | 1 | |a Appel, Andrew W., |d 1960- |e editor. | |
| 776 | 0 | 8 | |i Print version: |a Turing, Alan, 1912-1954. |t Alan Turing's systems of logic. |d Princeton, New Jersey : Princeton University Press, 2012 |z 9780691164731 |w (DLC) 2012931772 |w (OCoLC)908946279 |
| 856 | 4 | 0 | |u https://jstor.uam.elogim.com/stable/10.2307/j.ctv1vbd2dr |z Texto completo |
| 938 | |a EBSCOhost |b EBSC |n 2990406 | ||
| 994 | |a 92 |b IZTAP | ||