Proof theory
- Broader concepts
- Mathematical logic
- Narrower concepts
- Automatic theorem proving
- Ordinal numbers
- Source notes
- 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)
- Thesaurus
- Subjects
- Microthesaurus
- Mathematics
- Equivalent concepts in other schemes
- Preuve, Théorie de la [RAMEAU]
- Proof theory [LCSH]
- Prova, Teoria de la [LEMAC]
- Permalink
- 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
- Preferred term in other languages
- CatalàTeoria de la prova
- EspañolTeoría de la prueba
- FrançaisThéorie de la Preuve