Théorie de la Preuve
- Termes génériques
- Logique mathématique
- Termes spécifiques
- Démonstration automatique de théorèmes
- Nombres ordinaux
- Notes de source
- LEMAC, consulta feta el 17 de gener, 2011 (punt d'accés: Prova, Teoria de la)
- Autoridades CSIC, consulta feta el 17 de gener, 2011 (punt d'accés: Prueba, Teoría de la)
- LCSH, consulta feta el 17 de gener, 2011 (punt d'accés: Proof theory)
- RAMEAU, consulta feta el 17 de gener, 2011 (punt d'accés: Preuve, Théorie de la)
- Tesaurus
- Matèries
- Microtesaurus
- Mathématiques
- Concepts équivalents dans d'autres schémas
- Preuve, Théorie de la [RAMEAU]
- Proof theory [LCSH]
- Prova, Teoria de la [LEMAC]
- Permalien
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058507569706706
- Format MARC21
-
- LEADER 01156nz a2200289n 4500 001 981058507569706706 005 20210802122801.0 008 061011|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 51$2thub 150 $aTeoria de la prova 450 $aDemostració (Matemàtica) 450 $wnno$aTeoria de la demostració 550 $wg$aLògica matemàtica 550 $wh$aNombres ordinals 550 $wh$aDemostració automàtica de teoremes 670 $aLEMAC, consulta feta el 17 de gener, 2011$b(punt d'accés: Prova, Teoria de la) 670 $aAutoridades CSIC, consulta feta el 17 de gener, 2011$b(punt d'accés: Prueba, Teoría de la) 670 $aLCSH, consulta feta el 17 de gener, 2011$b(punt d'accés: Proof theory) 670 $aRAMEAU, consulta feta el 17 de gener, 2011$b(punt d'accés: Preuve, Théorie de la) 750 7$aTeoría de la prueba$2thub//spa 750 7$aProof theory$2thub//eng 750 7$aThéorie de la Preuve$2thub//fre 996 $a.a12036298$b02-12-20$c04-06-08$d-$ed$f- 909 $a11$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 035 $a(ES-BaUB).a12036298
- Terme préférentiel dans d'autres langues
- CatalàTeoria de la prova
- EspañolTeoría de la prueba
- EnglishProof theory
- Date de dernière mise à jour
- 01/11/2025