Booleovy algebry - Špetka, Petr (2005)