logic
preferred label: logik @sv
preferred label: logiikka @fi
type: Concept
narrower: formal logic

formal logic
broader generic: logic
in scheme: conceptscheme
broader: logic
type: Concept
preferred label: formaalinen logiikka @fi
preferred label: formell logik @sv