00761nam0-22002771i-450-990002560200403321000256020FED01000256020(Aleph)000256020FED0100025602020000920d1975----km-y0itay50------baENGEnumerabilita' decidibilita' computabilita'Hans Hermes.TorinoBoringhieri1975.318 p.22 cmLogica e fondamenti511.3Hermes,Hans42101ITUNINARICAUNIMARCBK990002560200403321MXXXII-B-982420MASMASEnumerabilità, decidibilità, computabilità383725UNINAING01