Ključne besede: teorija tipov, lambda račun, intuicionistična logika, dedukcija, Curry-Howardova korepondencaCelotno besedilo (datoteka, 468,96 KB)