Journals in DBLP

J. Symb. Log.
1956, volume: 21, number: 1

1. John G. Kemeny
   A New Approach to Semantics--Part I. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1956, v:21, n:1, pp:1-27 [Journal]
   
2. Leon Henkin
   Two Concepts From the Theory of Models. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1956, v:21, n:1, pp:28-32 [Journal]
   
3. Abraham Robinson
   Note on a Problem of L. Henkin. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1956, v:21, n:1, pp:33-35 [Journal]
   
4. Robin O. Gandy
   On the Axiom of Extensionality--Part I. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1956, v:21, n:1, pp:36-48 [Journal]
   
5. John R. Myhill
   Solution of a Problem of Tarski. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1956, v:21, n:1, pp:49-51 [Journal]
   
6. Irving M. Copi
   Another Variant of Natural Deduction. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1956, v:21, n:1, pp:52-55 [Journal]
   
7. Alan Cobham
   Reduction to a Symmetric Predicate. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1956, v:21, n:1, pp:56-59 [Journal]
   
8. A. N. Prior
   Modality and Quantification in S5. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1956, v:21, n:1, pp:60-62 [Journal]
   
9. M. H. Lob
   Formal Systems of Constructive Mathematics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1956, v:21, n:1, pp:63-75 [Journal]
   
10. Irving M. Copi, R. L. Wilder
    Nineteenth Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1956, v:21, n:1, pp:109-112 [Journal]