| 3 | -- | 16 | Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley. Compactness in Countable Tychonoff Products and Choice |
| 17 | -- | 23 | Erik Palmgren. An Effective Conservation Result for Nonstandard Arithmetic |
| 25 | -- | 34 | Olivier Esser, Roland Hinnion. Large Cardinals and Ramifiability for Directed Sets |
| 35 | -- | 44 | Kyriakos Keremedis, Eleftherios Tachtsis. On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice |
| 45 | -- | 48 | Victor Pambuccian. Another Constructive Axiomatization of Euclidean Planes |
| 49 | -- | 52 | Giacomo Bonanno, Klaus Nehring. Common Belief with the Logic of Individual Belief |
| 53 | -- | 76 | Lu Hong, Decheng Ding, Lei Qian. A Splitting with Infimum in the d-c. e. Degrees |
| 77 | -- | 86 | Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying. Approximate Reasoning Based on Similarity |
| 87 | -- | 103 | Pierre Matet. Partition Relations for Strongly Normal Ideals on ::::P::::::kappa::(lambda) |
| 105 | -- | 110 | Takeshi Yamazaki. Some More Conservation Results on the Baire Category Theorem |
| 111 | -- | 120 | Henryk Kotlarski, Bozena Piekart. Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely |
| 121 | -- | 124 | Jan von Plato. A Problem of Normal Form in Natural Deduction |
| 125 | -- | 134 | Peter M. Schuster. A Constructive Look at Generalised Cauchy Reals |
| 135 | -- | 137 | Hajime Ishihara. A Note on the Gödel-Gentzen Translation |
| 139 | -- | 143 | Douglas S. Bridges, Ayan Mahalanobis. Sequential Continuity of Functions in Constructive Analysis |