Alan turing's systems of logic : the Princeton thesis / edited and introduced by Andrew W. Appel - 142 páginas : ilustraciones

978-0-691-15574-6 (empastado, cubierta dura : papel alcalino)


Turing, Alan Mathison, 1912-1954


Lógica simbólica y matemática

QA9.2 / A53