Effective Model Theory vs. Recursive Model Theory

John Chisholm. Effective Model Theory vs. Recursive Model Theory. Journal of Symbolic Logic, 55(3):1168-1191, 1990.

Abstract

Abstract is missing.