Logic and computer science by Piergiorgio Odifreddi | Menrva Books | MenrvaBooks