Journals in DBLP

J. Symb. Log.
1949, volume: 14, number: 3

1. Ernst Specker
   Nicht Konstruktiv Beweisbare Satze Der Analysis. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1949, v:14, n:3, pp:145-158 [Journal]
   
2. Leon Henkin
   The Completeness of the First-Order Functional Calculus. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1949, v:14, n:3, pp:159-166 [Journal]
   
3. Nathan P. Levin
   Computational Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1949, v:14, n:3, pp:167-172 [Journal]
   
4. Gustav Bergmann
   A Syntactical Characterization of S5. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1949, v:14, n:3, pp:173-174 [Journal]
   
5. John R. Myhill
   Note on an Idea of Fitch. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1949, v:14, n:3, pp:175-176 [Journal]
   
6. Tzu-Hua Hoo
   m-Valued Sub-System of (m+n)-Valued Propositional Calculus. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1949, v:14, n:3, pp:177-181 [Journal]