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... Zobraziť viac
