00968nam0-22003491i-450-99000099164040332120100107165201.03540093494Berlin0387093494New York000099164FED01000099164(Aleph)000099164FED0100009916420001205d1980----km-y0itay50------baengGeneral recursion theoryan axiomatic approachJens E. FenstadBerlin ; New YorkSpringer-Verlag1980xi, 225 p.25 cmPerspectives in mathematical logicLogicaRicorsività511.3Fenstad,Jens Erik46025ITUNINARICAUNIMARCBK9900009916404033217-23811929FI1C-48-(419974MA1FI1MA1General recursion theory353883UNINA