Constructive models
Auteur :
Ershov, Yu L.
Éditeur :
Ershov, Yu L.Goncharov, Sergey,
ISBN :
9780306110665
Date de publication :
31 mars 2000
Dimensions :
23,5 x 15,5 x 1,9 cm
Poids :
1360 g
Langue :
Anglais
Pays d'origine :
USA
This work gives an exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra and logic and some other researchers (in particular, Nerode and his colleagues).