
[Studies in Logic and the Foundations of Mathematics] Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory Volume 138 || Chapter 1 Pure computable model theory
Harizanov, Valentina S.Content Type:
ArticlesYear:
1998
Language:
english
DOI:
10.1016/s0049-237x(98)80002-5
File:
PDF, 4.91 MB
english, 1998