Ključne besede: algebre, izrazi, raznoterosti, mreže, Heytingove algebre, interpretacijeCelotno besedilo (datoteka, 566,36 KB)