Knihy
Pre vyhľadávanie kníh začnite písať názov titulu alebo meno autora (min. 3 zn.).
Pre vyhľadávanie kníh začnite písať názov titulu alebo meno autora (min. 3 zn.).
Publikácia je vhodná ako študijný materiál pre všetkých, ktorí sa venujú otázkam algebier, teórie kategórii, teórie typov a zdrojovo-orientovaných modálnych logík.