The logic of equilibrium and abelian lattice ordered groups Adriana GalliRenato A. LewinMarta Sagastume OriginalPaper 15 January 2004 Pages: 141 - 158
Analytic combinatory calculi and the elimination of transitivity Pierluigi Minari OriginalPaper 15 January 2004 Pages: 159 - 191
An intuitionistic proof of Kruskal’s theorem Wim Veldman OriginalPaper 15 January 2004 Pages: 215 - 264
Weak dividing, chain conditions, and simplicity Alfred Dolich OriginalPaper 09 September 2003 Pages: 265 - 283