Journals in DBLP

J. Symb. Log.
1979, volume: 44, number: 1

1. Johan van Benthem
   Canonical Modal Logics and Ultrafilter Extensions. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1979, v:44, n:1, pp:1-8 [Journal]
   
2. Douglas E. Miller
   An Application of Invariant Sets to Global Definability. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1979, v:44, n:1, pp:9-14 [Journal]
   
3. Kim B. Bruce, H. Jerome Keisler
   L_A(\Finv). [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1979, v:44, n:1, pp:15-28 [Journal]
   
4. Douglas E. Miller
   On Classes Closed Under Unions of Chains. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1979, v:44, n:1, pp:29-31 [Journal]
   
5. Nobuyoshi Motohashi
   A Remark on Africk's Paper on Scott's Interpolation Theorem for L_omega1 omega. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1979, v:44, n:1, pp:32- [Journal]
   
6. George Boolos
   Reflection Principles and Iterated Consistency Assertions. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1979, v:44, n:1, pp:33-35 [Journal]
   
7. Stephen A. Cook, Robert A. Reckhow
   The Relative Efficiency of Propositional Proof Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1979, v:44, n:1, pp:36-50 [Journal]
   
8. Keith J. Devlin
   Variations on \Diamond. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1979, v:44, n:1, pp:51-58 [Journal]
   
9. Manuel Lerman, James H. Schmerl
   Theories with Recursive Models. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1979, v:44, n:1, pp:59-76 [Journal]
   
10. Steven Garavaglia
    Direct Product Decomposition of Theories of Modules. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:1, pp:77-88 [Journal]
    
11. Klaus-Peter Podewski, Joachim Reineke
    Algebraically Closed Commutative Local Rings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:1, pp:89-94 [Journal]
    
12. Sy D. Friedman
    HC of an Admissible Set. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:1, pp:95-102 [Journal]
    
13. Carl F. Morgenstern
    The Measure Quantifier. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:1, pp:103-108 [Journal]
    
14. Bruce I. Rose
    Corrigendum: "Rings which Admit Elimination of Quantifiers". [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:1, pp:109-110 [Journal]
    
15. Wolfgang Schönfeld
    An Undecidability Result for Relation Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:1, pp:111-115 [Journal]