1. Triple Dots in a Formal Language

   • Leon ŁUKASZEWICZ

   OriginalPaper Pages: 223 - 239

2. Reasoning about Solids Using Constraint Logic Programming

   • Gilles Pesant
   • Michel Boyer

   OriginalPaper Pages: 241 - 262

3. A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases

   • Ofer Arieli
   • Arnon Avron

   OriginalPaper Pages: 263 - 309

4. Computer Proofs in Gödel’s Class Theory with Equational Definitions for Composite and Cross

   • Johan G. F. Belinfante

   OriginalPaper Pages: 311 - 339

5. On Computer-Assisted Proofs in Ordinal Number Theory

   • Johan G. F. Belinfante

   OriginalPaper Pages: 341 - 378