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.
Potrebujete pomôcť? Napíšte náminfo@knihomol.sk