Logique du premier ordre
- Termes génériques
- Logique mathématique
- Logique moderne
- Notes de source
- 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)
- Tesaurus
- Matèries
- Microtesaurus
- Mathématiques
- Concepts équivalents dans d'autres schémas
- First-order logic [LCSH]
- Lògica de primer ordre [LEMAC]
- Logique du premier ordre [RAMEAU]
- Permalien
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058508200606706
- Format 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
- Terme préférentiel dans d'autres langues
- CatalàLògica de primer ordre
- EspañolLógica de primer orden
- EnglishFirst-order logic
- Date de dernière mise à jour
- 17/11/2024