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