Journals in DBLP

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

1. Emil Jerábek
   Dual weak pigeonhole principle, Boolean complexity, and derandomization. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:1-37 [Journal]
   
2. Toshiyasu Arai
   Proof theory for theories of ordinals II: Pi₃-reflection. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:39-92 [Journal]
   
3. Stefano Berardi, Silvio Valentini
   Krivine's intuitionistic proof of classical completeness (for countable languages). [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:93-106 [Journal]
   
4. Boaz Tsaban
   The combinatorics of splittability. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:107-130 [Journal]
   
5. Martin Grohe, Stefan Wöhrle
   An existential locality theorem. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:131-148 [Journal]
   
6. Ziv Shami
   Internality and interpretable automorphism groups in simple theories. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:149-162 [Journal]
   
7. Liang Yu, Decheng Ding, Rodney G. Downey
   The Kolmogorov complexity of random reals. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:163-180 [Journal]
   
8. Pilar Dellunde, Françoise Delon, Françoise Point
   The theory of modules of separably closed fields 2. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:181-210 [Journal]
   
9. James Cummings, Matthew Foreman, Menachem Magidor
   Canonical structure in the universe of set theory: part one. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:211-243 [Journal]
   
10. Carsten Butz
    Saturated models of intuitionistic theories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:245-275 [Journal]