Ewa Borak

According to our database, Ewa Borak authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2007

Mizar Course in Logic and Set Theory.

Ewa Borak, Anna Zalewska

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007