An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem.

Jean-Raymond Abrial

Browse the full ICTAC paper archive.