Master of Science, Technology University, Wroclaw, Poland, 1952. Doctor of Philosophy, University Wroclaw, 1960.
Assistant Technology University, University Wroclaw, 1952-1960. Tutor University Wroclaw, 1960-1964, assistant professor, 1964-1974, University Katowice, Poland, 1970-1974, associate professor, 1974-1984. Associate professor history University Warsaw, Poland, 1984-1995, associate professor Poland, professor Poland, 1995-2000.
Director Mathematics Institute, University Warsaw, Bialystok, 1984-1990.
Member Polish Mathematics Society, Association for Symbolic Logic.
Married Grazyna Tomaszewska, Mar.27, 1971. 1 child, Aleksander Witold.