P-DP 3752
Vodičková, Jaroslava, dipl. PF, 1979
Řešení reálných situací boleovskými operacemi v algebře pravdivostních hodnot výrokové logiky [rukopis] / Jaroslava Vodičková. -- 1979. -- 38 l. : tab. -- Ved. práce Jiří Procházka.
Procházka, Jiří. Pedagogická fakulta v Ústí nad Labem
diplomové práce