Journals in DBLP

J. Symb. Log.
1981, volume: 46, number: 3

1. J. L. Bell
   Isomorphism of Structures in S-Toposes. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:3, pp:449-459 [Journal]
   
2. Robert P. Daley
   Busy Beaver Sets and the Degrees of Unsolvability. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:3, pp:460-474 [Journal]
   
3. Ralph Kopperman
   First-Order Topological Axioms. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:3, pp:475-489 [Journal]
   
4. Douglas E. Miller
   The Metamathematics of Model Theory: Discovering Language in Action. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:3, pp:490-498 [Journal]
   
5. Pat Rogers
   Preservation of Saturation and Stability in a Variety of Nilpotent Groups. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:3, pp:499-512 [Journal]
   
6. Bruno Poizat
   Theories Instables. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:3, pp:513-522 [Journal]
   
7. Daniele Mundici
   An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:3, pp:523-530 [Journal]
   
8. Daniel Leivant
   On the Proof Theory of the Modal Logic for Arithmetic Provability. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:3, pp:531-538 [Journal]
   
9. J. C. E. Dekker
   Twilight Graphs. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:3, pp:539-571 [Journal]
   
10. Jeffrey B. Remmel
    Recursive Isomorphism Types of Recursive Boolean Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:3, pp:572-594 [Journal]
    
11. Jeffrey B. Remmel
    Recursive Boolean Algebras with Recursive Atoms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:3, pp:595-616 [Journal]
    
12. Charlotte Lin
    Recursively Presented Abelian Groups: Effective p-Group Theory. I. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:3, pp:617-624 [Journal]
    
13. Jan Mycielski
    Analysis Without Actual Infinity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:3, pp:625-633 [Journal]
    
14. Jean-Yves Girard, Peter Päppinghaus
    A Result on Implications of sigma;₁-Sentences and Its Application to Normal Form Theorems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:3, pp:634-642 [Journal]
    
15. E. M. Kleinberg
    Producing Measurable Cardinals Beyond kappa. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:3, pp:643-648 [Journal]
    
16. W. V. Quine
    Predicate Functors Revisited. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:3, pp:649-652 [Journal]
    
17. Hao Wang
    Some Facts About Kurt Godel. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:3, pp:653-659 [Journal]
    
18. Richard Boyd
    Annual Meeting of the Association for Symbolic Logic: Washington, DC 1977. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:3, pp:677-689 [Journal]
    
19. Leszek Pacholski, Jedrzej Wierzejewski
    Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:3, pp:690-702 [Journal]