This work gives an exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian scho... » 

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). «