Föredragen term
QA9.54 Proof theory
Överordnat begrepp
Begrepp/term vars betydelse är vidare.Hör till gruppen
Grupp till vilken begreppet hör.Notation
Kod som unikt identifierar ett begrepp i en vokabulär.- QA9.54
URI
http://www.yso.fi/onto/lcsh/sh85107437