Teoría de la prueba
- Términos genéricos
- Lógica matemática
- Términos específicos
- Demostración automática de teoremas
- Números ordinales
- Notas de fuente
- 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)
- Tesauro
- Materias
- Microtesauro
- Matemáticas
- Conceptos equivalentes en otros esquemas
- Preuve, Théorie de la [RAMEAU]
- Proof theory [LCSH]
- Prova, Teoria de la [LEMAC]
- Enlace permanente
- https://vocabularis.crai.ub.edu/thub/concept/thub:981058507569706706
- Formato 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
- Término preferente en otras lenguas
- CatalàTeoria de la prova
- EnglishProof theory
- FrançaisThéorie de la Preuve