Constructive models
by I͡Uriĭ Leonidovich Ershov, Yuri L. Ershov, Sergei S. Goncharov · 2000
No description available.
Constructive mathematicsMathematical foundationsMathematical modellingMathematical And Symbolic LogicPhilosophy Of MathematicsMathematicsScience/MathematicsLogicConstructive mathematicsMathematics / LogicMathematical models