
Journals in DBLP
 Roberto Maieli
A new correctness criterion for multiplicative noncommutative proof nets. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2003, v:42, n:3, pp:205220 [Journal]
 Valentin Goranko, Bruce M. Kapron
The modal logic of the countable random frame. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2003, v:42, n:3, pp:221243 [Journal]
 Mojtaba Aghaei, Mohammad Ardeshir
A Gentzenstyle axiomatization for basic predicate calculus. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2003, v:42, n:3, pp:245259 [Journal]
 Vladimir V. Rybakov
Barwise's information frames and modal logics. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2003, v:42, n:3, pp:261277 [Journal]
 Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy
Simple and immune relations on countable structures. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2003, v:42, n:3, pp:279291 [Journal]
 Mihai Prunescu
Diophantine properties of finite commutative rings. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2003, v:42, n:3, pp:293302 [Journal]
