Thisbookisanintrouuction,ontheundergraduatelevel,totheclassicalandcontemporarytheoryofcomputation.Thetopicscoveredare,inafewwords,thetheoryofautomataandformallanguages,computabilitybyTuringmachinesandrecursivefunctions,uncomputability,computationalcomplexity,andmath-ematicallogic.Thetrea