1 od 18
Logic & Applications
@
LogicPractice
15. tra
Propositions as Types
youtu.be/IOiZatlZtGU
Dalje