Journals in DBLP
Hans Hermes. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:4, pp:425- [Journal ] Jan Krajícek Combinatorics of first order structures and propositional proof systems. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:4, pp:427-441 [Journal ] Philip D. Welch On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:4, pp:443-458 [Journal ] Itay Ben-Yaacov , Alexander Berenstein Imaginaries in Hilbert spaces. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:4, pp:459-466 [Journal ] Robert Bonnet , Matatyahu Rubin On poset Boolean algebras of scattered posets with finite width. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:4, pp:467-476 [Journal ] Rostislav Horcík , Petr Cintula Product L ukasiewicz Logic. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:4, pp:477-504 [Journal ] Alejandro Fernández-Margarit , Francisco Félix Lara Martín Induction, minimization and collection for Delta_{n+1} (T)-formulas. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:4, pp:505-542 [Journal ] Joseph S. Miller , Reed Solomon Effectiveness for infinite variable words and the Dual Ramsey Theorem. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:4, pp:543-556 [Journal ] Radosav S. Dordevic , Miodrag Raskovic , Zoran Ognjanovic Completeness theorem for propositional probabilistic models whose measures have only finite ranges. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:4, pp:557-564 [Journal ] Roman Kossak A note on a theorem of Kanovei. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:4, pp:565-569 [Journal ]