Assistant professor Wroclaw University, Poland, 1957-1968. Associate professor Polish Academy of Sciences, Institute of Philosophy, Warsaw, Poland, 1969-1971, professor Poland, since 1972. Editor-in-chief Studia Logica, 1975-1989.
Advisory editor Erkenntnis, since 1975.
- Theory of Logical Calculi: Basic Theory of Consequence Operations (Synthese Library)
- The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised.