Journals in DBLP

J. Symb. Log.
1968, volume: 33, number: 2

1. Hugues Leblanc
   Subformula Theorems for N-Sequents. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1968, v:33, n:2, pp:161-179 [Journal]
   
2. Peter B. Andrews
   On Simplifying the Matrix of a WFF. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1968, v:33, n:2, pp:180-192 [Journal]
   
3. Solomon Feferman
   Systems of Predicative Analysis, II: Representations of Ordinals. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1968, v:33, n:2, pp:193-220 [Journal]
   
4. Don C. Ferguson
   Infinite Products of Recursive Equivalence Types. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1968, v:33, n:2, pp:221-230 [Journal]
   
5. Hugues Leblanc
   A Simplified Account of Validity and Implication for Quantificational Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1968, v:33, n:2, pp:231-235 [Journal]
   
6. James R. Geiser
   Nonstandard Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1968, v:33, n:2, pp:236-250 [Journal]
   
7. Robert E. Clay
   The Consistency of Lesniewski's Mereology Relative to the Real Number System. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1968, v:33, n:2, pp:251-257 [Journal]
   
8. C. G. McKay
   The Decidability of Certain Intermediate Propositional Logics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1968, v:33, n:2, pp:258-264 [Journal]
   
9. T. Thacher Robinson
   Independence of Two Nice Sets of Axioms for the Propositional Calculus. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1968, v:33, n:2, pp:265-270 [Journal]
   
10. Arnold Oberschelp
    On the Craig-Lyndon Interpolation Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:2, pp:271-274 [Journal]
    
11. Hugues Leblanc
    On Meyer and Lambert's Quantificational Calculus FQ. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:2, pp:275-280 [Journal]