Constructive models

Constructive models2000
Sergei S. Goncharov, Yuri L. Ershov, I͡Uriĭ Leonidovich Ershov
Details
- First published
- 2000
- OL Work ID
- OL2291564W
Subjects
Constructive mathematicsMathematical foundationsMathematical modellingMathematical And Symbolic LogicPhilosophy Of MathematicsMathematicsScience/MathematicsLogicConstructive mathematicsMathematics / LogicMathematical models