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
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058505271106706
- 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
- 15/12/2024