Journals in DBLP
J. Symb. Log. 1979, volume: 44, number: 2
John Cowles The Relative Expressive Power of Some Logics Extending First-Order Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:2, pp:129-146 [Journal ] Judy Green Some Model Theory for Game Logics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:2, pp:147-152 [Journal ] George Loullis Sheaves and Boolean Valued Model Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:2, pp:153-183 [Journal ] Michal Krynicki , Alistair H. Lachlan On the Semantics of the Henkin Quantifier. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:2, pp:184-200 [Journal ] Kit Fine Failures of the Interpolation Lemma in Quantified Modal Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:2, pp:201-206 [Journal ] Michael J. Carroll Reduction to First Degree in Quantificational S5. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:2, pp:207-214 [Journal ] Saharon Shelah On Uniqueness of Prime Models. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:2, pp:215-220 [Journal ] Luis E. Sanchis Reducibilities in Two Models for Combinatory Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:2, pp:221-234 [Journal ] Phokion G. Kolaitis Recursion in a Quantifier vs. Elementary Induction. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:2, pp:235-259 [Journal ] William Mitchell Ramsey Cardinals and Constructibility. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:2, pp:260-266 [Journal ] D. A. Turner Another Algorithm for Bracket Abstraction. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:2, pp:267-270 [Journal ]