Thesaurus UB (THUB)

Resources on this topic

Download as

Decidability (Mathematical logic)

Broader concepts
Mathematical logic
Related concepts
Computable functions
Gödel's theorem
Recursive functions
Source notes
LEMAC, consulta feta el 31 de març, 2020 (punt d'accés: Decidibilitat (Lògica matemàtica))
Wikipedia (castellà), consulta feta el 31 de març, 2020 (punt d'accés: Decidibilidad)
LCSH, consulta feta el 31 de març, 2020 (punt d'accés: Decidability (Mathematical logic))
RAMEAU, consulta feta el 31 de març, 2020 (punt d'accés: Décidabilité (logique mathématique))
Thesaurus
Subjects
Microthesaurus
Mathematics
Equivalent concepts in other schemes
Décidabilité (logique mathématique) [RAMEAU]
Decidability (Mathematical logic) [LCSH]
Decidibilitat (Lògica matemàtica) [LEMAC]
Permalink
Format MARC21
  • LEADER 01281nz a2200289n 4500 001 981058505271106706 005 20210908082536.0 008 200331|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 51$2thub 150 $aDecidibilitat (Lògica matemàtica) 550 $wg$aLògica matemàtica 550 $aFuncions computables 550 $aFuncions recursives 550 $aTeorema de Gödel 670 $aLEMAC, consulta feta el 31 de març, 2020$b(punt d'accés: Decidibilitat (Lògica matemàtica)) 670 $aWikipedia (castellà), consulta feta el 31 de març, 2020$b(punt d'accés: Decidibilidad) 670 $aLCSH, consulta feta el 31 de març, 2020$b(punt d'accés: Decidability (Mathematical logic)) 670 $aRAMEAU, consulta feta el 31 de març, 2020$b(punt d'accés: Décidabilité (logique mathématique)) 675 $aAutoridades BNE;$aAutoridades CSIC, cerca feta el 31 de març, 2020 750 7$aDecidibilidad (Lògica matemàtica)$2thub//spa 750 7$aDecidability (Mathematical logic)$2thub//eng 750 7$aDécidabilité (logique mathématique)$2thub//fre 996 $a.a14016400$b31-03-20$c31-03-20$d-$ed$f- 909 $a11$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 035 $a(ES-BaUB).a14016400
Preferred term in other languages
CatalàDecidibilitat (Lògica matemàtica)
EspañolDecidibilidad (Lògica matemàtica)
FrançaisDécidabilité (logique mathématique)
+
Last updated dated
06/10/2024