Theories as categories
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Continuous Truth I Non-constructive ObjectsPublished by Elsevier ,1984
- The Effective ToposPublished by Elsevier ,1982
- Identity and existence in intuitionistic logicPublished by Springer Nature ,1979
- Sheaves and logicPublished by Springer Nature ,1979
- Doctrines in Categorical LogicPublished by Elsevier ,1977
- Adjointness in FoundationsDialectica, 1969