A matematika filozófiája III.: Programozás logikusoknak - (:unkn) unknown (My University, 2026)