Borsuk K.: Geometria analityczna wielowymiarowa
Wit R.: Metody programowania nieliniowego
Stanosz B.: Wprowadzenie do logiki formalnej