00854nam0-2200325---450-99000875177040332120100719173252.09781846282973000875177FED01000875177(Aleph)000875177FED0100087517720081110d2006----km-y0itay50------baengUSa-------001yyTheory of computationDexter C. KozenLondonSpringerc2006xiii, 418 p.ill.24 cmTexts in computer scienceLogicaRicorsivitàKozen,Dexter C.65955ITUNINARICAUNIMARCBK9900087517704033217-318D.S.F. 9086FI1FI1Theory of computation719902UNINA