Marcello Frixione e Dario Palladino - La computabilità: algoritmi, logica, calcolatori (Rivista Italiana di Filosofia Analitica Junior, 2011)