Algebry formalizující výrokové logiky - Chajda, Ivan, 1946- (Skripta (Univerzita Palackého v Olomouci, Přírodovědecká fakulta), 2013)