1. Editorial preface

   • Karel Lambert

   EditorialNotes Pages: 275 - 277

2. Reasoning about partial functions with the aid of a computer

   • William M. Farmer

   OriginalPaper Pages: 279 - 294

3. Definedness

   • Solomon Feferman

   OriginalPaper Pages: 295 - 320

4. A logic for describing, not verifying, software

   • David Lorge Parnas

   OriginalPaper Pages: 321 - 338

5. Tarski hierarchies

   • Volker Halbach

   OriginalPaper Pages: 339 - 367

6. Predictive probability and analogy by similarity in inductive logic

   • Maria Concetta Di Maio

   OriginalPaper Pages: 369 - 394

7. Operational constraints and the model-theoretic argument

   • Mark Q. Gardiner

   OriginalPaper Pages: 395 - 400

8. Book review

   • Verena Mayer
   • Peter McLaughlin

   BookReview Pages: 401 - 410