logic
logik
logiikka
formal logic
formaalinen logiikka
formell logik