Journals in DBLP

J. Symb. Log.
1977, volume: 42, number: 4

1. Iraj Kalantari, Allen Retzlaff
   Maximal Vector Spaces Under Automorphisms of the Lattice of Recursively Enumerable Vector Spaces. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:4, pp:481-491 [Journal]
   
2. John S. Schlipf
   Ordinal Spectra of First-Order Theories. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:4, pp:492-505 [Journal]
   
3. Harvey Friedman
   On the Derivability of Instantiation Properties. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:4, pp:506-514 [Journal]
   
4. Petr Hájek
   Experimental Logics and pi⁰₃ Theories. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:4, pp:515-522 [Journal]
   
5. James M. Henle
   Some Consequences of an Infinite-Exponent Partition Relation. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:4, pp:523-526 [Journal]
   
6. Martin W. Bunder
   Consistency Notions in Illative Combinatory Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:4, pp:527-529 [Journal]
   
7. C. Smorynski
   On Axiomatizing Fragments. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:4, pp:530-544 [Journal]
   
8. Robert I. Soare
   Computational Complexity, Speedable and Levelable Sets. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:4, pp:545-563 [Journal]
   
9. Harrie C. M. de Swart
   An Intuitionistically Plausible Interpretation of Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:4, pp:564-578 [Journal]