Jan Mycielski

1932

• Structures in logic and computer science
• A lattice of chapters of mathematics