|
Journals in DBLP
- Xavier Caicedo
Definability and automorphisms in abstract logics. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:8, pp:937-946 [Journal]
- George Barmpalias
Approximation Representations for ?2 Reals. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:8, pp:947-964 [Journal]
- Stefano Baratella, Andrea Masini
An approach to infinitary temporal proof theory. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:8, pp:965-990 [Journal]
- Iraj Kalantari, Larry Welch
A blend of methods of recursion theory and topology: A Pi10 tree of shadow points. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:8, pp:991-1008 [Journal]
- George Georgescu, Andrei Popescu
Non-dual fuzzy connections. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:8, pp:1009-1039 [Journal]
|