John T. Baldwin Finite and Infinite Model Theory - A Historical Perspective. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2000, v:8, n:5, pp:- [Journal]
Torben Braüner A Cut-Free Gentzen Formulation of the Modal Logic S5. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2000, v:8, n:5, pp:- [Journal]
André Nies Model theory of the computably enumerable many-one degrees. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2000, v:8, n:5, pp:- [Journal]