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