Journals in DBLP

J. Symb. Log.
1971, volume: 36, number: 2

1. Manuel Lerman
   Some Theorems on R-Maximal Sets and Major Subsets of Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1971, v:36, n:2, pp:193-215 [Journal]
   
2. Jerome I. Malitz
   Infinitary Analogs of Theorems from First Order Model Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1971, v:36, n:2, pp:216-228 [Journal]
   
3. Stål Aanderaa, Dag Belsnes
   Decision Problems for Tag Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1971, v:36, n:2, pp:229-239 [Journal]
   
4. H. Jerome Keisler
   On Theories Categorical in Their Own Power. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1971, v:36, n:2, pp:240-244 [Journal]
   
5. Thomas J. Grilliot
   On Effectively Discontinuous Type-2 Objects. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1971, v:36, n:2, pp:245-248 [Journal]
   
6. Sabine Gornemann
   A Logic Stronger Than Intuitionism. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1971, v:36, n:2, pp:249-261 [Journal]
   
7. Shoji Maehara, Gaisi Takeuti
   Two Interpolation Theorems for a pi¹₁ Predicate Calculus. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1971, v:36, n:2, pp:262-270 [Journal]
   
8. Donald A. Alton
   Recursively Enumerable Sets Which are Uniform for Finite Extensions. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1971, v:36, n:2, pp:271-287 [Journal]
   
9. David Isles
   Natural Well-Orderings. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1971, v:36, n:2, pp:288-300 [Journal]
   
10. Alfred B. Manaster
    Some Contrasts between Degrees and the Arithmetical Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1971, v:36, n:2, pp:301-304 [Journal]
    
11. E. M. Kleinberg, Richard A. Shore
    On Large Cardinals and Partition Relations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1971, v:36, n:2, pp:305-308 [Journal]
    
12. Joan Rand Moschovakis
    Can There be no Nonrecursive Functions? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1971, v:36, n:2, pp:309-315 [Journal]
    
13. Gaisi Takeuti
    Meetings of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1971, v:36, n:2, pp:357-384 [Journal]