Formal Spaces
- 1 January 1982
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Open maps of toposesmanuscripta mathematica, 1980
- Sheaves and logicPublished by Springer Nature ,1979
- Sheaf models for analysisPublished by Springer Nature ,1979
- First Order Categorical LogicLecture Notes in Mathematics, 1977