00949nam0-2200337---450-99000860012040332120090916110303.088-548-0682-X000860012FED01000860012(Aleph)000860012FED0100086001220080111d2006----km-y0itay50------baengITa---a---001yyElements of Computability, Decidability, and ComplexityAlberto PettorossiRomaAracnec2006ii, 154 p.ill.24 cmA01's88Logica MatematicaComputabilità511.321itaPettorossi,Alberto17835ITUNINARICAUNIMARCBK990008600120403321511.3-PET-14794SC1SC1Elements of Computability, Decidability, and Complexity712986UNINA