Intuicionistická logika a její modely
Ročník: 44 (2021/22)
Kategorie: 1: Mathematics and Statistics
1. místo
představit intuicionistickou logiku s důrazem na konstrukci modelů pomocí teorie kategorií
Ročník: 44 (2021/22)
Kategorie: 1: Mathematics and Statistics
1. místo
představit intuicionistickou logiku s důrazem na konstrukci modelů pomocí teorie kategorií