symbolisk logik
symbolinen logiikka
logistiikka -- logiikka
matematisk logik
matemaattinen logiikka
mathematical logic
model theory
malliteoria
modellteori
logic
logik
logiikka