Le direzioni della ricerca logica in Italia: la teoria (classica) della computabilità