| 1x | | separacijska logika, denotacijska semantika, trovrednostna logika, tipni sistem, verjetnostno programiranje, dokazovanje pravilnosti, verjetnostna neodvisnost, Turing machine, infinite binary sequence, prefix, prefix-free Turing reducibility, oracle, Cantor space, computably open set, pushforward measure, Martin-Löf random sequence, proper sequence, mutual independence, mehka logika, Łukasiewiczeva logika, semantične igre, igre seznanjanja, okoliš, lokacija, snop, topos, hipoteza kontinuuma |