Theorem-proving systems - Orloswska Ewa (Warszawa Panstwowe Wydawnictwo Naukowa)