Logic and computer sciencede Piergiorgio OdifreddiMateriasComputational complexitySymbolic and mathematical LogicProgramming (Mathematics)Logic machinesEdiciones (1)Logic and computer science (1990)Academic Press · inglésMás obras de Piergiorgio OdifreddiClassical recursion theory1989Hai vinto, Galileo!Perché Dio non esiste