Preferred term
Proof theory
Broader concept
Broader conceptNarrower concepts
Narrower concepts.Identifier
- LNC10-000137654
In other languages
Terms for the concept in other languages.Finnish
- Todistusteoria
Latvian
URI
http://dati.lnb.lv/onto/subject/LNC10-000137654