Journals in DBLP

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

1. John MacIntyre
   Transfinite Extensions of Friedberg's Completeness Criterion. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:1, pp:1-10 [Journal]
   
2. Jonathan P. Seldin
   A Sequent Calculus for Type Assignment. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:1, pp:11-28 [Journal]
   
3. Ernest Snapper
   Omitting Models. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:1, pp:29-32 [Journal]
   
4. Mark E. Nadel, Jonathan Stavi
   The Pure Part of HYP(M). [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:1, pp:33-46 [Journal]
   
5. Barry E. Jacobs
   On Generalized Computational Complexity. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:1, pp:47-58 [Journal]
   
6. Julia F. Knight
   A Complete L _{omega 1omega} -Sentence Characterizing N₁. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:1, pp:59-62 [Journal]
   
7. Nobuyoshi Motohashi
   A Remark on Scott's Interpolation Theorem for L _{omega 1 omega}. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:1, pp:63- [Journal]
   
8. Petr Stepánek, Bohuslav Balcar
   Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:1, pp:64-76 [Journal]
   
9. Stanley H. Stahl
   Primitive Recursive Ordinal Functions with Added Constants. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1977, v:42, n:1, pp:77-82 [Journal]
   
10. Nobuyoshi Motohashi
    Partially Ordered Interpretations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:1, pp:83-93 [Journal]
    
11. Julia F. Knight
    Skolem Functions and Elementary Embeddings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:1, pp:94-98 [Journal]
    
12. C. Smorynski
    A Note on the Number of Zeros of Polynomials and Exponential Polynomials. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:1, pp:99-106 [Journal]
    
13. M. Guillaume
    Meeting of the Association for Symbolic Logic: Clermont-Ferrand, France, 1975. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:1, pp:113-139 [Journal]
    
14. Haim Gaifman, Azriel Levy, Gert H. Muller
    Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:1, pp:140-142 [Journal]
    
15. Paul Benacerraf, Simon Kochen, Gerald E. Sacks
    Meeting of the Association for Symbolic Logic: New York, 1975. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:1, pp:143-155 [Journal]
    
16. Solomon Feferman, Jon Barwise, Leo Harrington
    Meeting of the Association for Symbolic Logic: Reno, 1976. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:1, pp:156-160 [Journal]