Autor Daniel Mihályi, Valerie Novitzká

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.