Andreanský, E., 1998. Por?bska, M. - Sucho?, V.: Elementarny wyk?ad logiki formalnej z ?wiczeniami komputerowymi. Organon F, 5, pp.418-422. Available at: http://www.klemens.sav.sk/fiusav/doc/organon/1998/4/418-422.pdf.