Journals in DBLP

J. Symb. Log.
1997, volume: 62, number: 2

1. Greg Hjorth
   Some Applications of Coarse Inner Model Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1997, v:62, n:2, pp:337-365 [Journal]
   
2. Joan Bagaria
   A Characterization of Martin's Axiom in Terms of Absoluteness. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1997, v:62, n:2, pp:366-372 [Journal]
   
3. Joel David Hamkins
   Canonical Seeds and Prikiry Trees. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1997, v:62, n:2, pp:373-396 [Journal]
   
4. Steven D. Leonhardi
   Generalized Nonsplitting in the Recursively Enumerable Degrees. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1997, v:62, n:2, pp:397-437 [Journal]
   
5. David Pincus
   The Dense Linear Ordering Principle. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1997, v:62, n:2, pp:438-456 [Journal]
   
6. Jan Krajícek
   Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1997, v:62, n:2, pp:457-486 [Journal]
   
7. Anand Pillay
   Remarks on Galois Cohomology and Definability. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1997, v:62, n:2, pp:487-492 [Journal]
   
8. José Iovino
   Definability in Functional Analysis. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1997, v:62, n:2, pp:493-505 [Journal]
   
9. Satoko Titani
   Completeness of Global Intuitionistic Set Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1997, v:62, n:2, pp:506-528 [Journal]
   
10. Philip Kremer
    On the Complexity of Propositional Quantification in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:529-544 [Journal]
    
11. Georg Gottlob
    Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:545-574 [Journal]
    
12. Thomas Strahm
    Polynomial Time Operations in Explicit Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:575-594 [Journal]
    
13. Kenneth Schilling, Bosko Zivaljevic
    Louveau's Theorem for the Descriptive Set Theory of Internal Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:595-607 [Journal]
    
14. Moshe Y. Vardi
    Special Selection in Logic in Computer Science. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:608- [Journal]
    
15. James F. Lynch
    Infinitary Logics and Very Sparse Random Graphs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:609-623 [Journal]
    
16. Ursula Martin, Elizabeth Scott
    The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:624-635 [Journal]
    
17. Paliath Narendran, Frank Pfenning, Richard Statman
    On the Unification Problem for Cartesian Closed Categories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:636-647 [Journal]
    
18. Mati Pentus
    Product-Free Lambek Calculus and Context-Free Grammars. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:648-660 [Journal]
    
19. Alexei P. Stolboushkin, Damian Niwinski
    y = 2x vs. y = 3x. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:661-672 [Journal]