
[Studies in Logic and the Foundations of Mathematics] Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory Volume 138 || Chapter 2 Elementary theories and their constructive models
Ershov, Yu.L.Content Type:
ArticlesYear:
1998
Language:
english
DOI:
10.1016/s0049-237x(98)80003-7
File:
PDF, 2.26 MB
english, 1998