The Kuratowski Closure-Complement Theorem

MaRDI QIDQ7361087FDO

Authors Peter Gammie, Gianpaolo Gioiosa

Publication date 26 October 2017

Cites work

• Unnamed Publication
• Single digits. In praise of small numbers
• Sur l'opération A de l'analysis situs.
• The Kuratowski closure-complement theorem
• Types for Proofs and Programs

This page was built for software: The Kuratowski Closure-Complement Theorem