Logic and computer science - Odifreddi Piergiorgio (London Academic Press, 1990)
Keywords: Computer science; Programming languages