matemaattinen logiikka
type: Concept
broader generic: logiikka
alternative label: symbolisk logik @sv
alternative label: symbolinen logiikka
alternative label: logistiikka -- logiikka
broader: logiikka
in scheme: conceptscheme
preferred label: matematisk logik @sv
preferred label: mathematical logic @en
related: malliteoria

malliteoria
type: Concept
preferred label: model theory @en
preferred label: modellteori @sv
related: matemaattinen logiikka

logiikka
type: Concept
narrower: matemaattinen logiikka
preferred label: logic @en
preferred label: logik @sv