Journals in DBLP
J. Symb. Log. 1974, volume: 39, number: 2
Louise Hay A Noninitial Segment of Index Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:209-224 [Journal ] M. H. Lob Correction to 'A Model Theoretic Characterisation of Effective Operations'. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:225- [Journal ] John Staples Combinator Realizability of a Constructive Morse Set Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:226-234 [Journal ] Daniel Richardson Sets of Theorems with Short Proofs. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:235-242 [Journal ] Joan D. Lukas , Hilary Putnam Systems of Notations and the Ramified Analytical Hierarchy. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:243-253 [Journal ] William Boos Boolean Extensions which Efface the Mahlo Property. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:254-268 [Journal ] Alexander S. Kechris On Projective Ordinals. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:269-282 [Journal ] William P. Hanf Nonrecursive Tilings of the Plane. I. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:283-285 [Journal ] Dale Myers Nonrecursive Tilings of the Plane. II. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:286-294 [Journal ] Richard A. Shore sigman Sets which are trianglen -Incomparable (Uniformly). [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:295-304 [Journal ] Leo Harrington Recursively Presentable Prime Models. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:305-309 [Journal ] Douglas A. Cenzer Analytic Inductive Definitions. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:310-312 [Journal ] Gordon D. Plotkin The lambda-Calculus is omega-Incomplete. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:313-317 [Journal ] Harvey Friedman On Existence Proofs of Hanf Numbers. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:318-324 [Journal ] J. P. Calais , John Derrick , Gabriel Sabbagh Meeting of the Association for Symbolic Logic: Orleans, France, 1972. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:371-389 [Journal ] C. Ward Henson , Bjarni Jonsson , E. G. K. López-Escobar , Michael D. Resnik Meeting of the Association for Symbolic Logic: Atlanta 1973. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:390-405 [Journal ] H. E. Rose , John C. Shepherdson European Meeting of the Association for Symbolic Logic: Bristol, England, 1973. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:2, pp:406-432 [Journal ]