01066nam1-2200349---450-99000107827020331620020507143243.00-387-94907-0000107827USA01000107827(ALEPH)000107827USA0100010782720020507g1997----k--y0itay0103----baENGUSAutomata and computabilityDexter C. KozenNew York [etc.]Springercopyr. 1997XIII, 400 p.ill.20 cmUndergraduate texts in computer scienceUndergraduate texts in computer scienceTeoria delle macchineFunzioni computabili511.3Kozen,Dexter C.65955ITAtlantisRICAUNIMARC990001078270203316511.3 KOZ0027561 CBS511.300111131BKDIGIUSEPPE9020020507USA011432PATRY9020040406USA011715Automata and computability374080UNISA