Journals in DBLP

J. Symb. Log.
1993, volume: 58, number: 3

1. Henk Barendregt, Martin W. Bunder, Wil Dekkers
   Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:3, pp:769-788 [Journal]
   
2. Makoto Tatsuta
   Uniqueness of Normal Proofs of Minimal Formulas. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:3, pp:789-799 [Journal]
   
3. Dov M. Gabbay, Valentin B. Shehtman
   Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:3, pp:800-823 [Journal]
   
4. Richard A. Shore, Theodore A. Slaman
   Working below a Highly Recursively Enumerable Degree. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:3, pp:824-859 [Journal]
   
5. Carlos A. Di Prisco, James M. Henle
   Partitions of Products. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:3, pp:860-871 [Journal]
   
6. G. P. Monro
   Logic, Sheaves, and Factorization Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:3, pp:872-893 [Journal]
   
7. Alexander S. Kechris
   Amenable Versus Hyperfinite Borel Equivalence Relations. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:3, pp:894-907 [Journal]
   
8. Warren D. Goldfarb
   Random Models and Solvable Skolem Classes. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:3, pp:908-914 [Journal]
   
9. Rafel Farré
   A Transfer Theorem for Henselian Valued and Ordered Fields. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:3, pp:915-930 [Journal]
   
10. John R. Steel
    The Well-Foundedness of the Mitchell Order. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:931-940 [Journal]
    
11. Dror Ben-Arié, Haim Judah
    Delta₃¹-Stability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:941-954 [Journal]
    
12. Ya'acov Peterzil
    Reducts of Some Structures over the Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:955-966 [Journal]
    
13. Alexander V. Chagrov, Michael Zakharyaschev
    The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:967-1002 [Journal]
    
14. Yde Venema
    Derivation Rules as Anti-Axioms in Modal Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:1003-1034 [Journal]
    
15. Marion Scheepers
    Variations on a Game of Gale (I): Coding Strategies. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:1035-1043 [Journal]
    
16. Frank O. Wagner
    Quasi-Endomorphisms in Small Stable Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:1044-1051 [Journal]
    
17. Alan H. Mekler, Jouko A. Väänänen
    Trees and Pi¹₁-Subsets of ^omega₁\omega₁. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:1052-1070 [Journal]
    
18. Jürgen Dix, Martin Kummer
    Herbrand's Theorem for Nonstandard Inference Operations (Abstract). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:1116-1117 [Journal]