Journals in DBLP
J. Symb. Log. 1982, volume: 47, number: 2
Michael Stob Index Sets and Degrees of Unsolvability. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:241-248 [Journal ] Daniel Lascar On the Category of Models of a Complete Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:249-266 [Journal ] Britta Schinzel On Decomposition of Godelnumberings Into Friedbergnumberings. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:267-274 [Journal ] Arnold W. Miller The Baire Category Theorem and Cardinals of Countable Cofinality. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:275-288 [Journal ] Charles D. Parsons Intensional Logic in Extensional Language. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:289-328 [Journal ] Chi Tat Chong Double Jumps of Minimal Degrees Over Cardinals. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:329-334 [Journal ] Jouko A. Väänänen Abstract Logic and Set Theory. II. Large Cardinals. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:335-346 [Journal ] John R. Steel A Classification of Jump Operator. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:347-358 [Journal ] Vladimir Lifschitz Constructive Assertions in an Extension of Classical Mathematics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:359-387 [Journal ] Ashok Maitra An Effective Selection Theorem. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:388-394 [Journal ] Jan Terlouw On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:395-402 [Journal ] Kenneth Mcaloon On the Complexity of Models of Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:403-415 [Journal ] L. A. S. Kirby Flipping Properties in Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:416-422 [Journal ] James H. Schmerl , Stephen G. Simpson On the Role of Ramsey Quantifiers in First Order Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1982, v:47, n:2, pp:423-435 [Journal ]