Keywords: algebre, izrazi, raznoterosti, mreže, Heytingove algebre, interpretacijeFull text (file, 566,36 KB)