Logic and computer science - Odifreddi, Piergiorgio [ed.] (London Academic Press, 1990)
Keywords: Electronic digital computers -- Programming; Logic programing