Mathematical logic
- Broader concepts
- Mathematics
- Narrower concepts
- Algebraic logic
- Axiomatic set theory
- Cardinal numbers
- Categories (Mathematics)
- Chance
- Combinatory logic
- Computer logic
- Constructive mathematics
- Decidability (Mathematical logic)
- First-order logic
- Fuzzy logic
- Gödel's theorem
- Independence (Mathematics)
- Lambda calculus
- Machine theory
- Model theory
- Pragmatics
- Predicate calculus
- Probabilities
- Proof theory
- Recursion theory
- Recursive functions
- Science methodology
- Semantics (Philosophy)
- Switching theory
- Type theory
- Related concepts
- Abstract algebra
- Logic programming
- Metamathematics
- Set theory
- Syllogism
- Source notes
- LEMAC, consulta feta el 22 de febrer, 2006 (punt d'accés: Lògica matemàtica)
- Autoridades BNE, consulta feta el 22 de febrer, 2006 (punt d'accés: Lógica matemática)
- LCSH, consulta feta el 22 de febrer, 2006 (punt d'accés: Logic, Symbolic and mathematical)
- RAMEAU, consulta feta el 22 de febrer, 2006 (punt d'accés: Logique symbolique et mathématique)
- Thesaurus
- Subjects
- Microthesaurus
- Mathematics
- Equivalent concepts in other schemes
- Logic, Symbolic and mathematical [LCSH]
- Lógica matemática [BNE/A]
- Lògica matemàtica [LEMAC]
- Logique symbolique et mathématique [RAMEAU]
- Permalink
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058505624806706
- Format MARC21
-
- LEADER 02409nz a2200673n 4500 001 981058505624806706 005 20240527075810.0 008 950503|||anznnbabn |a ana d 035 $a(ES-BaUB).a11669585 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 51$2thub 150 $aLògica matemàtica 450 $aLògica formal 450 $aLògica simbòlica 450 $aLògica simbòlica i matemàtica 450 $aLògica universal 450 $aLogística (Filosofia) 550 $wg$aMatemàtica 550 $wh$aAtzar 550 $wh$aCàlcul de predicats 550 $wh$aCàlcul lambda 550 $wh$aCategories (Matemàtica) 550 $wh$aDecidibilitat (Lògica matemàtica) 550 $wh$aFuncions recursives 550 $wh$aIndependència (Matemàtica) 550 $wh$aLògica algebraica 550 $wh$aLògica combinatòria 550 $wh$aLògica de primer ordre 550 $wh$aLògica difusa 550 $wh$aLògica informàtica 550 $wh$aMatemàtica constructiva 550 $wh$aMetodologia de la ciència 550 $wh$aNombres cardinals 550 $wh$aPragmàtica (Lingüística) 550 $wh$aProbabilitats 550 $wh$aSemàntica (Filosofia) 550 $wh$aTeoria axiomàtica de conjunts 550 $wh$aTeorema de Gödel 550 $wh$aTeoria de la commutació 550 $wh$aTeoria de la prova 550 $wh$aTeoria de la recursió 550 $wh$aTeoria de màquines 550 $wh$aTeoria de models 550 $wh$aTeoria de tipus 550 $aÀlgebra abstracta 550 $aMetamatemàtica 550 $aProgramació lògica 550 $aSil·logisme 550 $aTeoria de conjunts 670 $aLEMAC, consulta feta el 22 de febrer, 2006$b(punt d'accés: Lògica matemàtica) 670 $aAutoridades BNE, consulta feta el 22 de febrer, 2006$b(punt d'accés: Lógica matemática) 670 $aLCSH, consulta feta el 22 de febrer, 2006$b(punt d'accés: Logic, Symbolic and mathematical) 670 $aRAMEAU, consulta feta el 22 de febrer, 2006$b(punt d'accés: Logique symbolique et mathématique) 750 7$aLógica matemática$2thub//spa 750 7$aMathematical logic$2thub//eng 750 7$aLogique mathématique$2thub//fre 909 $a11$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 996 $a.a11669585$b25-11-20$c04-06-08$d-$ed$f-
- Preferred term in other languages
- CatalàLògica matemàtica
- EspañolLógica matemática
- FrançaisLogique mathématique
- Last updated dated
- 17/11/2024