Equality in the Presence of Apartness
- 1 January 1979
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- An interpretation of intuitionistic analysisAnnals of Mathematical Logic, 1978
- Applications of Kripke modelsPublished by Springer Nature ,1973
- Lectures on intuitionismPublished by Springer Nature ,1973
- Metamathematical Investigation of Intuitionistic Arithmetic and AnalysisPublished by Springer Nature ,1973
- Independence problems in subsystems of intuitionistic arithmeticIndagationes Mathematicae, 1971
- Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer MultiplikationMathematische Annalen, 1928