Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht Mycielski Jan Heftet / 1997 / Engelsk
Lattice of Chapters of Mathematics (Interpretations Between Theorems) Mycielski Jan Heftet / 1990 / Engelsk
