Journals in DBLP

J. Symb. Log.
1983, volume: 48, number: 1

1. Harrie C. M. de Swart
   A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1983, v:48, n:1, pp:1-20 [Journal]
   
2. Henry A. Kierstead, Jeffrey B. Remmel
   Indiscernibles and Decidable Models. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1983, v:48, n:1, pp:21-32 [Journal]
   
3. Menachem Magidor, Saharon Shelah, Jonathan Stavi
   On the Standard Part of Nonstandard Models of Set Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1983, v:48, n:1, pp:33-38 [Journal]
   
4. G. P. Monro
   On Generic Extensions Without the Axiom of Choice. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1983, v:48, n:1, pp:39-52 [Journal]
   
5. G. C. Nelson
   Logic of Reduced Power Structures. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1983, v:48, n:1, pp:53-59 [Journal]
   
6. Bruno Poizat
   Post-Scriptum À "Théories Instables". [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1983, v:48, n:1, pp:60-62 [Journal]
   
7. Solomon Feferman, Gerhard Jäger
   Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1983, v:48, n:1, pp:63-70 [Journal]
   
8. William G. Fleissner
   Sone of George and V = L. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1983, v:48, n:1, pp:71-77 [Journal]
   
9. A. J. Dodd
   Core Models. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1983, v:48, n:1, pp:78-90 [Journal]
   
10. Stevo Todorcevic
    Real Functions on the Family of All Well-Ordered Subsets of a Partially Ordered Set. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:91-96 [Journal]
    
11. Jean Porte
    Antitheses in Systems of Relevant Implication. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:97-99 [Journal]
    
12. Iraj Kalantari, Anne Leggett
    Maximality in Effective Topology. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:100-112 [Journal]
    
13. Penelope Maddy
    Proper Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:113-139 [Journal]
    
14. Chantal Berline, Gregory L. Cherlin
    QE Rings in Characteristic pⁿ. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:140-162 [Journal]
    
15. Anand Pillay
    A Note on Finitely Generated Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:163-166 [Journal]
    
16. Eugene W. Madison
    The Existence of Countable Totally Nonconstructive Extensions of the Countable Atomless Boolean Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:167-170 [Journal]
    
17. Terrence Millar
    Omitting Types, Type Spectrums, and Decidability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:171-181 [Journal]
    
18. Daniel Leivant
    The Optimality of Induction as an Axiomatization of Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:182-184 [Journal]
    
19. Chi Tat Chong
    Hyperhypersimple Supersets in Admissible Recursion Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:185-192 [Journal]
    
20. Yuri Gurevich
    Decision Problem for Separated Distributive Lattices. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:193-196 [Journal]
    
21. Elisabeth Bouscaren, Daniel Lascar
    Countable Models of Nonmultidimensional ₀-Stable Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:197-205 [Journal]