VODIČKOVÁ, Jaroslava (dis). Řešení reálných situací boleovskými operacemi v algebře pravdivostních hodnot výrokové logiky [rukopis]. 1979. 38 l. Diplomová práce – Pedagogická fakulta v Ústí nad Labem, 1979.