Pogorzelski, Witold.

• Completeness theory for propositional logics
• Integral equations and their applications
• Optymalizacja układów technicznych i przekształcanie zadania obliczeniowego optymalizacji