Home›Books›Logic and computer scienceLogic and computer scienceby Piergiorgio OdifreddiNo description available.Computational complexitySymbolic and mathematical LogicProgramming (Mathematics)Logic machines