01403nam0 2200289 i 450 VAN005425920230320040300.33205-212-9465-7978-05-212-9465-220061008d1980 |0itac50 baengGB|||| |||||Computabilityan introduction to recursive function theoryNigel CutlandCambridgeCambridge university1980XI, 251 p.ill.24 cm03D20Recursive functions and relations, subrecursive hierarchies [MSC 2020]VANC024470MFCambridgeVANL000024CutlandNigelVANV04288446036Cambridge university <editore>VANV107986650ITSOL20230616RICAhttps://books.google.it/books?id=wAstOUE36kcC&printsec=frontcover&dq=Computability+:+an+introduction+to+recursive+function+theory&hl=it&sa=X&ved=0ahUKEwjbhOvzwbPWAhWFuBQKHQ6oDuQQ6AEIKTAA#v=onepage&q&f=falsePreviewVAN0054259BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 0985 08 4449 I a 20061008 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0985 08 4078 I b 20061008 Computability353308UNICAMPANIA