Journals in DBLP

J. Symb. Log.
1969, volume: 34, number: 4

1. J. Roger Hindley
   An Abstract Form of the Church-Rosser Theorem. I. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1969, v:34, n:4, pp:545-560 [Journal]
   
2. John T. Kearns
   Combinatory Logic with Discriminators. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1969, v:34, n:4, pp:561-575 [Journal]
   
3. Abraham Robinson
   Compactification of Groups and Rings and Nonstandard Analysis. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1969, v:34, n:4, pp:576-588 [Journal]
   
4. C. Ward Henson
   Finite Sets in Quine's New Foundations. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1969, v:34, n:4, pp:589-596 [Journal]
   
5. James P. Jones
   Effectively Retractable Theories and Degrees of Undecidability. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1969, v:34, n:4, pp:597-604 [Journal]
   
6. Yiannis N. Moschovakis
   Abstract Computability and Invariant Definability. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1969, v:34, n:4, pp:605-633 [Journal]
   
7. Frank B. Cannonito, Mark Finkelstein
   On Primitive Recursive Permutations and their Inverses. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1969, v:34, n:4, pp:634-638 [Journal]
   
8. Gabor T. Herman
   A Simple Solution of the Uniform Halting Problem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1969, v:34, n:4, pp:639-640 [Journal]