Journals in DBLP

Ann. Pure Appl. Logic
2005, volume: 132, number: 2-3

1. Benedetto Intrigila, Richard Statman
   Some results on extensionality in lambda calculus. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:2-3, pp:109-125 [Journal]
   
2. Nick Peatfield, Boris Zilber
   Analytic Zariski structures and the Hrushovski construction. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:2-3, pp:127-180 [Journal]
   
3. Evan J. Griffiths
   Completely mitotic c.e. degrees and non-jump inversion. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:2-3, pp:181-207 [Journal]
   
4. Robert S. Lubarsky
   Independence results around constructive ZF. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:2-3, pp:209-225 [Journal]
   
5. Peter Hertling
   A Banach-Mazur computable but not Markov computable function on the computable real numbers. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:2-3, pp:227-246 [Journal]
   
6. Roman Wencel
   Weak elimination of imaginaries for Boolean algebras. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:2-3, pp:247-270 [Journal]
   
7. Jörg Brendle, Shunsuke Yatabe
   Forcing indestructibility of MAD families. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:2-3, pp:271-312 [Journal]
   
8. Jerry Gagelman
   Stability in geometric theories. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:2-3, pp:313-326 [Journal]