Pro koordinátory

Intuicionistická logika a její modely

Ročník: 44 (2021/22)

Kategorie: 1: matematika a statistika

1. místo

představit intuicionistickou logiku s důrazem na konstrukci modelů pomocí teorie kategorií