Journals in DBLP

Arch. Math. Log.
2005, volume: 44, number: 6

1. 
   Preface. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:6, pp:665-666 [Journal]
   
2. Jan Krajícek
   Hardness assumptions in the foundations of theoretical computer science. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:6, pp:667-675 [Journal]
   
3. Teruyuki Yorioka
   The diamond principle for the uniformity of the meager ideal implies the existence of a destructible gap. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:6, pp:677-683 [Journal]
   
4. Masahiro Yasumoto
   Separations of first and second order theories in bounded arithmetic. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:6, pp:685-688 [Journal]
   
5. Osamu Takaki
   Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:6, pp:689-709 [Journal]
   
6. Stephen Cook, Tsuyoshi Morioka
   Quantified propositional calculus and a second-order theory for NC¹. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:6, pp:711-749 [Journal]
   
7. Toshio Suzuki
   Bounded truth table does not reduce the one-query tautologies to a random oracle. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:6, pp:751-762 [Journal]
   
8. Petr Hájek
   On arithmetic in the Cantor- Lukasiewicz fuzzy set theory. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:6, pp:763-782 [Journal]
   
9. Grigori Mints, Ting Zhang
   Propositional logic of continuous transformations in Cantor space. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2005, v:44, n:6, pp:783-799 [Journal]