Journals in DBLP

J. Symb. Log.
1965, volume: 30, number: 3

1. Ronald Harrop
   Some Structure Results for Propositional Calculi. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1965, v:30, n:3, pp:271-292 [Journal]
   
2. Alexander Abian, Samuel Lamacchia
   Some Consequences of the Axiom of Power-Set. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1965, v:30, n:3, pp:293-294 [Journal]
   
3. Gaisi Takeuti
   A Formalization of the Theory of Ordinal Numbers. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1965, v:30, n:3, pp:295-317 [Journal]
   
4. G. Kreisel, Gerald E. Sacks
   Metarecursive Sets. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1965, v:30, n:3, pp:318-338 [Journal]
   
5. H. Jerome Keisler
   Some Applications of Infinitely Long Formulas. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1965, v:30, n:3, pp:339-349 [Journal]
   
6. R. W. Ritchie
   A Rudimentary Definition of Addition. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1965, v:30, n:3, pp:350-354 [Journal]