Recursive Model Theory
Recursive Model Theory
Y. L. Ershov
,
A. Nerode
,
S. S. Goncharov
,
J. B. Remmel
Details
OL Work ID
OL25723962W
Subjects
Recursion theory
Find this book
Open Library