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