Jan Mycielski

Structures in logic and computer science