• Born 22.04.1951,
  • 1974 Graduated in philosophy at the Faculty of Philosophy of the Catholic University of Lublin,
  • 1977 doctorate,
  • 1986 habilitation.
  • Director of the Department of the Foundation of Computer Science. Most of his papers is devoted to formal logic.

Scientific interests include

  • formal logic,
  • logic of programming,
  • history of logic,
  • applications of computer technology in economical research and practice.

Selected publications