Journals in DBLP

Ann. Pure Appl. Logic
2009, volume: 159, number: 1-2

1. 
   Substitution Frege and extended Frege proof systems in non-classical logics. [Citation Graph (, )][DBLP]
   
   
2. 
   Towards the decidability of the theory of modules over finite commutative rings. [Citation Graph (, )][DBLP]
   
   
3. 
   Large cardinals and gap-1 morasses. [Citation Graph (, )][DBLP]
   
   
4. 
   Further notes on cell decomposition in closed ordered differential fields. [Citation Graph (, )][DBLP]
   
   
5. 
   Cell decomposition and dimension function in the theory of closed ordered differential fields. [Citation Graph (, )][DBLP]
   
   
6. 
   Describing proofs by short tautologies. [Citation Graph (, )][DBLP]
   
   
7. 
   Modal languages for topology: Expressivity and definability. [Citation Graph (, )][DBLP]
   
   
8. 
   Proof theory for admissible rules. [Citation Graph (, )][DBLP]
   
   
9. 
   Effective categoricity of Abelian p-groups. [Citation Graph (, )][DBLP]
   
   
10. 
    The strength of choiceless patterns of singular and weakly compact cardinals. [Citation Graph (, )][DBLP]