Igre • Interaktivni sadržaji • Izrada digitalnog sadržaja Natural deduction – Digitalni alat za rješavanje prirodne dedukcije odnosno dokaza 1. lipnja 2023