Journals in DBLP

Ann. Pure Appl. Logic
2004, volume: 128, number: 1-3

1. Qi Feng, Ronald B. Jensen
   Supercomplete extenders and type 1 mice: Part I. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:1-73 [Journal]
   
2. Alexander Berenstein, Steven Buechler
   Simple stable homogeneous expansions of Hilbert spaces. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:75-101 [Journal]
   
3. Lev D. Beklemishev
   Provability algebras and proof-theoretic ordinals, I. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:103-123 [Journal]
   
4. Antonio di Nola, Revaz Grigolia
   On monadic MV-algebras. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:125-139 [Journal]
   
5. Suman Ganguli, Anil Nerode
   Effective completeness theorems for modal logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:141-195 [Journal]
   
6. Gerhard Jäger
   An intensional fixed point theory over first order arithmetic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:197-213 [Journal]
   
7. H. Jerome Keisler, Wafik Boulos Lotfallah
   Shrinking games and local formulas. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:215-225 [Journal]
   
8. Wieslaw Szwast, Lidia Tendera
   The guarded fragment with transitive guards. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:227-276 [Journal]
   
9. Radim Belohlávek
   Concept lattices and order in fuzzy logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:277-298 [Journal]
   
10. Benjamin Wells
    Erratum to "Applying, extending, and specializing pseudorecursiveness": [Ann. Pure Appl. Logic 126 (2004) 225-254]. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:299-0 [Journal]