Journals in DBLP
J. Symb. Log. 1967, volume: 32, number: 1
Nuel D. Belnap Jr. Intensional Models for First Degree Formulas. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1967, v:32, n:1, pp:1-22 [Journal ] H. Jerome Keisler Ultraproducts which are not Saturated. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1967, v:32, n:1, pp:23-46 [Journal ] H. Jerome Keisler Ultraproducts of Finite Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1967, v:32, n:1, pp:47-57 [Journal ] M. J. Cresswell Note on a System of Aqvist. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1967, v:32, n:1, pp:58-60 [Journal ] C. C. Chang Omitting Types of Prenex Formulas. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1967, v:32, n:1, pp:61-74 [Journal ] John Riser A Gentzen-Type Calculus of Sequents for Single-Operator Propositional Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1967, v:32, n:1, pp:75-80 [Journal ] Dag Prawitz A Note on Existential Instantiation. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1967, v:32, n:1, pp:81-82 [Journal ] Storrs McCall Connexive Class Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1967, v:32, n:1, pp:83-90 [Journal ] Gerald J. Massey Binary Connectives Functionally Complete by Themselves in S5 Modal Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1967, v:32, n:1, pp:91-92 [Journal ] Frederic Brenton Fitch A Complete and Consistent Modal Set Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1967, v:32, n:1, pp:93-103 [Journal ]