formal logic
formaalinen logiikka
formell logik
logic
logik
logiikka