LEADER 02103nam0 22004453i 450 001 VAN0268469 005 20240321104307.720 017 70$2N$a9781461257493 100 $a20231205d1982 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aˆA ‰Programming Approach to Computability$fA. J. Kfoury, Robert N. Moll, Michael A. Arbib 210 $aNew York$cSpringer-Verlag$d1982 215 $aviii, 251 p.$cill.$d24 cm 410 1$1001VAN0067091$12001 $aMonographs in computer science$1210 $aNew York$cSpringer$1300 $aFino al 1993: Texts and Monographs in Computer Science 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03D80$xApplications of computability and recursion theory [MSC 2020]$3VANC024450$2MF 606 $a68N01$xGeneral topics in the theory of software [MSC 2020]$3VANC035632$2MF 606 $a03D60$xComputability and recursion theory on ordinals, admissible sets, etc. [MSC 2020]$3VANC037481$2MF 610 $aAlgorithms$9KW:K 610 $aClassification$9KW:K 610 $aComputability theory$9KW:K 610 $aFormal languages$9KW:K 610 $aPredictability$9KW:K 610 $aProgramming$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$aKfoury$bAssaf J.$3VANV220478$054061 701 1$aArbib$bMichael A.$3VANV216485$013645 701 1$aMoll$bRobert N.$3VANV220479$054062 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4612-5749-3$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0268469 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 7547 $e08eMF7547 20231211 996 $aProgramming Approach to Computability$93643912 997 $aUNICAMPANIA