Continuous Truth I Non-constructive Objects

This publication has 8 references indexed in Scilit:

• T1 spaces over topological sites
  Journal of Pure and Applied Algebra, 1983
• Formal Spaces
  Published by Elsevier ,1982
• Notions of Choice Sequence
  Published by Elsevier ,1982
• The Logic of Topoi
  Published by Elsevier ,1977
• First Order Categorical Logic
  Lecture Notes in Mathematics, 1977
• Aspects of topoi
  Bulletin of the Australian Mathematical Society, 1972
• Atomless Parts of Spaces.
  MATHEMATICA SCANDINAVICA, 1972
• Théorie des Topos et Cohomologie Etale des Schémas
  Lecture Notes in Mathematics, 1972