Concepedia

The Foundations of Intuitionistic Mathematics.

Henry E. Kyburg, S. C. Kleene, R. E. Vesley

American Mathematical Monthly · 1967 · 155 citations · 0 references

Concepts

HumanitiesMathematicsLogicPhilosophy Of MathematicsSet TheoryAxiomatic Set TheoryIntuitionistic LogicMathematical KnowledgeMathematical ModelingMathematical OntologyDecidability In Intuitionistic LogicIntuitionistic Arithmetic