Prioritārais termins
Proof theory
Plašāks koncepts
Plašāks konceptsŠaurāki koncepti
Šaurāki koncepti.Identifikators
- LNC10-000137654
Citās valodās
Termini šim konceptam citās valodās.Finnish
- Todistusteoria
Latvian
URI
http://dati.lnb.lv/onto/subject/LNC10-000137654