nLab
minimal negation operator

The material previously on this page may be found at InterSciWiki.

Revised on August 19, 2013 07:20:05 by Jon Awbrey (99.21.38.186)