Grigori Mints Cut-Elimination for Simple Type Theory with An Axiom of Choice. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:2, pp:479-485 [Journal]
Michael Rathjen Explicit Mathematics with The Monotone Fixed Point Principle. II: Models. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:2, pp:517-550 [Journal]
Dan Saracino Prime E.C. Commutative Rings in Characteristic n bigger equal to 2. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:2, pp:629-633 [Journal]
Juris Steprans Unions of Rectifiable Curves in Euclidean Space and The Covering Number of The Meagre Ideal. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:2, pp:701-726 [Journal]
Khaled Jaber Équations Génériques Dans Un Groupe Stable Nilpotent. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:2, pp:761-768 [Journal]
Jeffry L. Hirst Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:2, pp:769-774 [Journal]
Alexandre A. Ivanov Generic Expansions of Omega-Categorical Structures and Semantics of Generalized Quantifiers. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:2, pp:775-789 [Journal]
Hans Schoutens Existentially Closed Models of The Theory of Artinian Local Rings. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:2, pp:825-845 [Journal]