Journals in DBLP
J. Symb. Log. 1989, volume: 54, number: 4
Penelope Maddy The Roots of Contemporary Platonism. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1121-1144 [Journal ] Sy D. Friedman Coding Over a Measurable Cardinal. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1145-1159 [Journal ] Rodney G. Downey On Hyper-Torre Isols. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1160-1166 [Journal ] H. Jerome Keisler , Kenneth Kunen , Arnold W. Miller , Steven C. Leth Descriptive Set Theory Over Hyperfinite Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1167-1180 [Journal ] William Craig Near-Equational and Equational Systems of Logic for Partial Functions II. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1181-1215 [Journal ] Yiannis N. Moschovakis The Formal Language of Recursion. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1216-1252 [Journal ] Denis Richard Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1253-1287 [Journal ] Carl G. Jockusch Jr. , Manuel Lerman , Robert I. Soare , Robert Solovay Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1288-1323 [Journal ] Gregory L. McColm Some Restrictions on Simple Fixed Points of the Integers. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1324-1345 [Journal ] Bradd Hart A Proof of Morley's Conjecture. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1346-1358 [Journal ] Rami P. Grossberg , Bradd Hart The Classification of Excellent Classes. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1359-1381 [Journal ] James H. Schmerl Large Resplendent Models Generated by Indiscernibles. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1382-1388 [Journal ] Michiel van Lambalgen Algorithmic Information Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1389-1400 [Journal ] Marco Forti , Roland Hinnion The Consistency Problem for Positive Comprehension Principles. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1401-1418 [Journal ] Gerard R. Renardel de Lavalette Interpolation in Fragments of Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1419-1430 [Journal ] Saharon Shelah The Number of Pairwise Non-Elementary-Embeddable Models. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1431-1455 [Journal ] Harvey Friedman , Michael Sheard The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1456-1459 [Journal ] Fabio Bellissima , Massimo Mirolli A General Treatment of Equivalent Modalities. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1460-1471 [Journal ] George Epstein Fifth Southeastern Logic Symposium. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:4, pp:1498- [Journal ]