An edition of Constructive models (2000)
By I͡Uriĭ Leonidovich Ershov,Yuri L. Ershov,Sergei S. Goncharov
Publish Date
March 31, 2000
Publisher
Springer
Language
eng
Pages
306
Description:
subjects: Constructive mathematics, Mathematical foundations, Mathematical modelling, Mathematical And Symbolic Logic, Philosophy Of Mathematics, Mathematics, Science/Mathematics, Logic, Constructive mathematics, Mathematics / Logic