LEADER 02095nas  2200553-  450 
001 996321220403316
005 20220226213023.0
011   $a2541-0040
035   $a(OCoLC)1096826810
035   $a(CKB)4100000007521089
035   $a(CONSER)--2019252255
035   $a(EXLCZ)994100000007521089
100   $a20190127a20169999  ---            -
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIjtim?'iyya $ejournal of Muslim society research
210  1$aPurwokerto, Jawa Tengah, Indonesia :$cGraduate Program, State Institute on Islamic Studies Purwokerto Indonesia,$d2016-
210 31$aPurwokerto, Jawa Tengah, Indonesia :$cPostgraduate Program, State Institute on Islamic Studies Purwokerto Indonesia
215   $a1 online resource
300   $aRefereed/Peer-reviewed
311   $a2541-2736 
531 0 $aIjtim?'iyya
606   $aIslam and the social sciences$vPeriodicals
606   $aMuslims$xSocial life and customs$vPeriodicals
606   $aEconomics$xReligious aspects$xIslam$vPeriodicals
606   $aIslamic education$vPeriodicals
606   $aEconomics$xReligious aspects$xIslam$2fast$3(OCoLC)fst00902190
606   $aIslam and the social sciences$2fast$3(OCoLC)fst00979896
606   $aIslamic education$2fast$3(OCoLC)fst00979927
606   $aMuslims$xSocial life and customs$2fast$3(OCoLC)fst01031071
608   $aElectronic journals.
608   $aPeriodicals.$2fast
608   $aPeriodicals.$2lcgft
615  0$aIslam and the social sciences
615  0$aMuslims$xSocial life and customs
615  0$aEconomics$xReligious aspects$xIslam
615  0$aIslamic education
615  7$aEconomics$xReligious aspects$xIslam.
615  7$aIslam and the social sciences.
615  7$aIslamic education.
615  7$aMuslims$xSocial life and customs.
712 02$aInstitut Agama Islam Negeri Purwokerto.$bPascasarjana,
906   $aJOURNAL
912   $a996321220403316
996   $aIjtim?'iyya$92572383
997   $aUNISA

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 <editore>$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