Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht Mycielski Jan Heftet / 1997 / Engelsk
