theory of proof
type: Concept
broader: logic
in scheme: conceptscheme
preferred label: todistusteoria @fi
preferred label: bevisteori @sv

logic
type: Concept
narrower: theory of proof
preferred label: logik @sv
preferred label: logiikka @fi