Journals in DBLP
J. Symb. Log. 1976, volume: 41, number: 3
Charles Rackoff On the Complexity of the Theories of Weak Direct Powers. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:561-573 [Journal ] Nicolas D. Goodman The Theory of the Godel Functionals. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:574-582 [Journal ] Julia F. Knight Hanf Numbers for Omitting Types Over Particular Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:583-588 [Journal ] George F. McNulty Undecidable Properties of Finite Sets of Equations. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:589-604 [Journal ] Angus Macintyre On Definable Subsets of p-Adic Fields. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:605-610 [Journal ] Jeffrey B. Remmel Co-Hypersimple Structures. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:611-625 [Journal ] Robert P. Daley Noncomplex Sequences: Characterizations and Examples. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:626-638 [Journal ] Erik Ellentuck Categoricity Regained. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:639-643 [Journal ] Harrie C. M. de Swart Another Intuitionistic Completeness Proof. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:644-662 [Journal ] John Gregory Higher Souslin Trees and the Generalized Continuum Hypothesis. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:663-671 [Journal ] Robert E. Woodrow A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:672-680 [Journal ] Anne Leggett , Richard A. Shore Types of Simple alpha-Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:681-694 [Journal ] Joseph R. Shoenfield Degrees of Classes of RE Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:695-696 [Journal ]