Journals in DBLP

Ann. Pure Appl. Logic
2003, volume: 122, number: 1-3

1. Toshiyasu Arai
   Proof theory for theories of ordinals - I: recursively Mahlo ordinals. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:1-85 [Journal]
   
2. Stefan Neumann
   True cofinality and bounding number for small products of partial orders. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:87-106 [Journal]
   
3. Christophe Raffalli
   System ST toward a type system for extraction and proofs of programs. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:107-130 [Journal]
   
4. Zoran Petric
   G-dinaturality. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:131-173 [Journal]
   
5. Viktor Verbovskiy, Ikuo Yoneda
   CM-triviality and relational structures. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:175-194 [Journal]
   
6. Christian Rüede
   The proof-theoretic analysis of Sigma₁¹ transfinite dependent choice. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:195-234 [Journal]
   
7. Itay Ben-Yaacov, Anand Pillay, Evgueni Vassiliev
   Lovely pairs of models. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:235-261 [Journal]
   
8. Patrick Simonetta
   On non-abelian C-minimal groups. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:263-287 [Journal]
   
9. Anatole Khelif
   On nonelementarily equivalent pairs of fields. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:289-291 [Journal]