Journals in DBLP

Ann. Pure Appl. Logic
2005, volume: 132, number: 1

1. Melvin Fitting
   The logic of proofs, semantically. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:1, pp:1-25 [Journal]
   
2. Max A. Dickmann, Murray Marshall, Francisco Miraglia
   Lattice-ordered reduced special groups. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:1, pp:27-49 [Journal]
   
3. Iris Loeb
   Equivalents of the (Weak) Fan Theorem. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:1, pp:51-66 [Journal]
   
4. Boris Zilber
   Pseudo-exponentiation on algebraically closed fields of characteristic zero. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:1, pp:67-95 [Journal]
   
5. Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov
   Dependence relations in computably rigid computable vector spaces. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:132, n:1, pp:97-108 [Journal]