Keywords: Free Logic
2016
[1] Axiomatizing Category Theory in Free Logic (Christoph Benzmüller, Dana S. Scott), In arXiv, http://arxiv.org/abs/1609.01493, 2016. [bibtex] [pdf]
Powered by bibtexbrowser