Kvantové logiky - Pták, Pavel; Pulmannová, Sylvia (Veda, 1989)