Robuta

https://www.gaudeamus.fi/asiasana/formaalinen-logiikka/ formaalinen logiikka - Gaudeamus formaalinenlogiikkagaudeamus