Journals in DBLP

J. Symb. Log.
1992, volume: 57, number: 1

1. Shih Ping Tung
   Arithmetic Definability by Formulas with Two Quantifiers. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:1, pp:1-11 [Journal]
   
2. Paola D'Aquino
   Local Behaviour of the Chebyshev Theorem in Models of I Delta₀. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:1, pp:12-27 [Journal]
   
3. Thierry Coquand
   An Intuitionistic Proof of Tychonoff's Theorem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:1, pp:28-32 [Journal]
   
4. Andrew M. Pitts
   On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:1, pp:33-52 [Journal]
   
5. William I. Gasarch, Mark G. Pleszkoch, Robert Solovay
   Learning vi Queries in [+, <]. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:1, pp:53-81 [Journal]
   
6. Juha Oikkonen
   A Recursion Principle for Linear Orderings. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:1, pp:82-96 [Journal]
   
7. Anand Pillay, Zeljko Sokolovic
   Superstable Differential Fields. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:1, pp:97-108 [Journal]
   
8. David Marker, Ya'acov Peterzil, Anand Pillay
   Additive Reducts of Real Closed Fields. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:1, pp:109-117 [Journal]
   
9. Libo Lo
   Functions and Functionals on Finite Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:1, pp:118-130 [Journal]
   
10. Albert Visser
    An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta₀+Omega₁ with a Propositional Constant for EXP. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:1, pp:131-165 [Journal]
    
11. Dan Velleman
    On a Topological Construction of Juhasz and Shelah. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:1, pp:166-171 [Journal]
    
12. Bosko Zivaljevic
    Lusin-Sierpinski Index for the Internal Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:1, pp:172-178 [Journal]
    
13. Douglas Albert, Robert Baldinger, John Rhodes
    Undecidability of the Identity Problem for Finite Semigroups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:1, pp:179-192 [Journal]
    
14. Ivo Herzog, Philipp Rothmaler
    Models with Regular Generic Types, Part IV. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:1, pp:193-199 [Journal]
    
15. Victor Harnik, Michael Makkai
    Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:1, pp:200-230 [Journal]
    
16. Martin Otto
    Automorphism Properties of Stationary Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:1, pp:231-237 [Journal]
    
17. Daniel Lascar
    Les Automorphismes d'un Ensemble Fortement Minimal. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:1, pp:238-251 [Journal]