Lógica de primer orden
- Términos genéricos
- Lógica matemática
- Lógica moderna
- Notas de fuente
- LEMAC, consulta feta el 10 d'agost, 2010 (punt d'accés: Lògica de primer ordre)
- LCSH, consulta feta el 10 d'agost, 2010 (punt d'accés: First-order logic)
- RAMEAU, consulta feta el 10 d'agost, 2010 (punt d'accés: Logique du premier ordre)
- Tesauro
- Materias
- Microtesauro
- Matemáticas
- Conceptos equivalentes en otros esquemas
- First-order logic [LCSH]
- Lògica de primer ordre [LEMAC]
- Logique du premier ordre [RAMEAU]
- Enlace permanente
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058508200606706
- Formato MARC21
-
- LEADER 01044nz a2200265n 4500 001 981058508200606706 005 20210802122808.0 008 100810|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 51$2thub 150 $aLògica de primer ordre 450 $aLògica del primer ordre 550 $wg$aLògica matemàtica 550 $wg$aLògica moderna 670 $aLEMAC, consulta feta el 10 d'agost, 2010$b(punt d'accés: Lògica de primer ordre) 670 $aLCSH, consulta feta el 10 d'agost, 2010$b(punt d'accés: First-order logic) 670 $aRAMEAU, consulta feta el 10 d'agost, 2010$b(punt d'accés: Logique du premier ordre) 675 $aAutoridades BNE;$aAutoridades CSIC, cerca feta el 10 d'agost, 2010 750 7$aLógica de primer orden$2thub//spa 750 7$aFirst-order logic$2thub//eng 750 7$aLogique du premier ordre$2thub//fre 996 $a.a12319235$b13-01-21$c10-08-10$d-$ed$f- 909 $a11$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 035 $a(ES-BaUB).a12319235
- Término preferente en otras lenguas
- CatalàLògica de primer ordre
- EnglishFirst-order logic
- FrançaisLogique du premier ordre
- Fecha de última actualización
- 17/11/2024