DISPENSE DI TEORIA DELLA RICORSIVITA' E CALCOLABILITA' EFFETTIVA MARCELLO FRIXIONE DIST – Università di Genova 1991