Journals in DBLP

J. Symb. Log.
1950, volume: 15, number: 2

1. Leon Henkin
   Completeness in the Theory of Types. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1950, v:15, n:2, pp:81-91 [Journal]
   
2. Ruth Barcan Marcus
   The Elimination of Contextually Defined Predicates in a Modal System. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1950, v:15, n:2, pp:92- [Journal]
   
3. W. V. Quine
   On Natural Deduction. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1950, v:15, n:2, pp:93-102 [Journal]
   
4. Hao Wang
   Existence of Classes and Value Specification of Variables. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1950, v:15, n:2, pp:103-112 [Journal]
   
5. J. Barkley Rosser, Hao Wang
   Non-Standard Models for Formal Logics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1950, v:15, n:2, pp:113-129 [Journal]
   
6. John R. Myhill
   A Reduction in the Number of Primitive Ideas of Arithmetic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1950, v:15, n:2, pp:130- [Journal]
   
7. R. M. Martin
   On Virtual Classes and Real Numbers. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1950, v:15, n:2, pp:131-134 [Journal]