Výsledky vyhledávání
- Algebraické základy některých logik [rukopis] / Jozef Cmar. 2009
- Algebry v kladném a záporném kuželu l-grupy [rukopis] / Šárka Dosoudilová. 2008
- BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů [rukopis] / Petr Sapák. 2016 . 39
- Čísla ve tvaru součtů druhých mocnin [rukopis] / Petr Uřičář. 2011 . 33 s.
- Formalizace spojky implikace v klasické a neklasické logice [rukopis] / Michal Šedík. 2009
- Lindenbaumovy algebry některých logik [rukopis] / Alena Aulická. 2005
- Lineárně uspořádané BL-algebry [rukopis] / Václav Cenker. 2020 . 31