Logická struktura informačních kanálů

řešitel: V. Punčochář
GA ČR 21-23610M
2021-2025

 

Konstruktivní teorie typů

řešitel: A. Klev
AV ČR (Lumina quaeruntur)

 

Povaha logických forem a moderní logika

řešitel: V. Svoboda
GA ČR 20-18675S
2020-2022