Patrick G.: Chemia leków. Krótkie wykłady
Stanosz B.: Wprowadzenie do logiki formalnej
Orylska J., Marciniak M.: Zastosowanie Prologu do budowy systemów ekspertowych