M. R. Krom The Decision Problem for Formulas in Prenex Conjunctive Normal Form with Binary Disjunctions. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1970, v:35, n:2, pp:210-216 [Journal]
M. H. Lob A Model Theoretic Characterization of Effective Operations. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1970, v:35, n:2, pp:217-222 [Journal]
James C. Owings Jr. The Meta-R.E. Sets, but Not the pi11 Sets, Can Be Enumerated Without Repetition. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1970, v:35, n:2, pp:223-229 [Journal]
C. E. M. Yates Initial Segments of the Degrees of Unsolvability Part II: Minimal Degrees. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1970, v:35, n:2, pp:243-266 [Journal]
A. Trew Nonstandard Theories of Quantification and Identity. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1970, v:35, n:2, pp:267-294 [Journal]