Katedra Logiki i Podstaw Informatyki
Kamil Krzysztof Lemański
Praca licencjacka wykonana pod kierunkiem
dr Aleksandry Kiślak-Malinowskiej.
Olsztyn 2008