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

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