Intensionality in mathematics

This publication has 7 references indexed in Scilit:

• Toward useful type-free theories. I
  The Journal of Symbolic Logic, 1984
• Between constructive and classical mathematics
  Published by Springer Nature ,1984
• Set Theoretic Foundations for Constructive Analysis
  Annals of Mathematics, 1977
• Constructive set theory
  The Journal of Symbolic Logic, 1975
• A language and axioms for explicit mathematics
  Published by Springer Nature ,1975
• What Numbers Could not Be
  The Philosophical Review, 1965
• Arithmetization of metamathematics in a general setting
  Fundamenta Mathematicae, 1960