LEADER 02369nz  a2200661n  4500
001 981058505624806706
005 20230301135108.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 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-