LEADER 01309nz  a2200313n  4500
001 981058505853306706
005 20210802122821.0
008 060110|||anznnbabn          |a ana     d
040   $aES-BaUB$bcat$cES-BaUB$fthub
072  7$aTH 004$2thub
072  7$aTH 51$2thub
150   $aFuncions computables
450   $aFuncions calculables
450   $aFuncions recursives parcials
450   $aTeoria de la computabilitat
550   $wg$aMatemàtica constructiva
550   $aDecidibilitat (Lògica matemàtica)
670   $aLEMAC, consulta feta el 7 de març, 2012$b(punt d'accés: Funcions computables) 
670   $aAutoridades BNE, consulta feta el 7 de març, 2012$b(punt d'accés: Funciones computables)   
670   $aAutoridades CSIC, consulta feta el 7 de març, 2012$b(punt d'accés: Funciones calculables)
670   $aLCSH, consulta feta el 7 de març, 2012$b(punt d'accés: Computable functions)
670   $aRAMEAU, consulta feta el 7 de març, 2012$b(punt d'accés: Fonctions calculables) 
750  7$aFunciones computables$2thub//spa
750  7$aComputable functions$2thub//eng
750  7$aFonctions calculables$2thub//fre
996   $a.a11727536$b26-11-20$c04-06-08$d-$ed$f-
909   $a11$5ES-BaUB
990   $aTHUB Tema$5ES-BaUB
035   $a(ES-BaUB).a11727536