Journals in DBLP

Arch. Math. Log.
2003, volume: 42, number: 7

1. Grigori Mints, Darko Sarenac
   Completeness of indexed epsilon-calculus. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:7, pp:617-625 [Journal]
   
2. Heike Mildenberger, Saharon Shelah
   Specialising Aronszajn trees by countable approximations. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:7, pp:627-647 [Journal]
   
3. Itay Ben-Yaacov
   On the fine structure of the polygroup blow-up. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:7, pp:649-663 [Journal]
   
4. Uwe Petersen
   L i D Z lambda as a basis for PRA. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:7, pp:665-694 [Journal]
   
5. Teruyuki Yorioka
   Forcings with the countable chain condition and the covering number of the Marczewski ideal. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:7, pp:695-710 [Journal]
   
6. Vitezslav Svejdar
   On the polynomial-space completeness of intuitionistic propositional logic. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:7, pp:711-716 [Journal]