Predicate calculus
- Broader concepts
- Mathematical logic
- Source notes
- LEMAC, consulta feta el 27 de maig, 2024 (punt d'accés: Càlcul de predicats)
- Autoridades BNE, consulta feta el 27 de maig, 2024 (punt d'accés: Cálculo de predicados)
- LCSH, consulta feta el 27 de maig, 2024 (punt d'accés: Predicate calculus)
- RAMEAU, consulta feta el 27 de maig, 2024 (punt d'accés: Calcul des prédicats)
- Thesaurus
- Subjects
- Microthesaurus
- Mathematics
- Equivalent concepts in other schemes
- Calcul des prédicats [RAMEAU]
- Cálculo de predicados [BNE/A]
- Predicate calculus [LCSH]
- Permalink
- https://vocabularis.crai.ub.edu/thub/concept/thub:981061134676606706
- Format MARC21
-
- LEADER 00934nz a2200229n 4500 001 981061134676606706 005 20240527075822.0 008 240527|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 51$2thub 150 $aCàlcul de predicats 450 $aTeoria de la quantificació 550 $wg$aLògica matemàtica 670 $aLEMAC, consulta feta el 27 de maig, 2024$b(punt d'accés: Càlcul de predicats) 670 $aAutoridades BNE, consulta feta el 27 de maig, 2024$b(punt d'accés: Cálculo de predicados) 670 $aLCSH, consulta feta el 27 de maig, 2024$b(punt d'accés: Predicate calculus) 670 $aRAMEAU, consulta feta el 27 de maig, 2024$b(punt d'accés: Calcul des prédicats) 750 7$aCálculo de predicados$2thub//spa 750 7$aPredicate calculus$2thub//eng 750 7$aCalcul des prédicats$2thub//fre 909 $a12$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB
- Preferred term in other languages
- CatalàCàlcul de predicats
- EspañolCálculo de predicados
- FrançaisCalcul des prédicats
- Last updated dated
- 17/11/2024