Maticová logika - Siska, František (IRIS, 2004)