|
Journals in DBLP
- Radosav Djordjevic, Nebojsa Ikodinovic, Zarko Mijajlovic
Completeness theorem for topological class models. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2007, v:46, n:1, pp:1-8 [Journal]
- Morteza Moniri
Preservation theorems for bounded formulas. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2007, v:46, n:1, pp:9-14 [Journal]
- Keita Yokoyama
Complex analysis in subsystems of second order arithmetic. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2007, v:46, n:1, pp:15-35 [Journal]
- T. E. Forster, J. K. Truss
Ramsey's theorem and König's Lemma. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2007, v:46, n:1, pp:37-42 [Journal]
- A. R. D. Mathias
A note on the schemes of replacement and collection. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2007, v:46, n:1, pp:43-50 [Journal]
|