Keywords: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondencaFull text (file, 468,96 KB)