01144nam a2200313 i 450099100092875970753620020507180032.0930709s1980 ||| ||| | eng 3540093494b10777143-39ule_instLE01304458ExLDip.to Matematicaeng511.3AMS 03-02AMS 03D75QA9.6.F46Fenstad, Jens Erik46025General recursion theory :an axiomatic approach /Jens E. FenstadBerlin :Springer-Verlag,1980xi, 225 p. ;25 cm.Perspectives in mathematical logicRecursion theory.b1077714323-02-1728-06-02991000928759707536LE013 03-XX FEN12 C.1 (1980)12013000021454le013-E0.00-l- 00000.i1087616928-06-02LE013 03-XX FEN12 C.2 (1980)22013000021461le013-E0.00-l- 00000.i1087617028-06-02General recursion theory353883UNISALENTOle01301-01-93ma -engxx 02