1. On some connections between logic and category theory

   • J. Lambek

   OriginalPaper Pages: 269 - 278

2. Manufacturing a cartesian closed category with exactly two objects out of a C-monoid

   • P. H. Rodenburg
   • F. J. van der Linden

   OriginalPaper Pages: 279 - 283

3. Coherence in cartesian closed categories and the generality of proofs

   • M. E. Szabo

   OriginalPaper Pages: 285 - 297

4. Categorical and algebraic aspects of Martin-Löf Type Theory

   • Adam Obtułowicz

   OriginalPaper Pages: 299 - 317

5. Alpha-conversion, conditions on variables and categorical logic

   • Pierre-Louis Curien

   OriginalPaper Pages: 319 - 360

6. Monoidal categories with natural numbers object

   • Robert Paré
   • Leopoldo Román

   OriginalPaper Pages: 361 - 376

7. A note on russell's paradox in locally cartesian closed categories

   • Andrew M. Pitts
   • Paul Taylor

   OriginalPaper Pages: 377 - 387

8. A note on natural numbers objects in monoidal categories

   • C. Barry Jay

   OriginalPaper Pages: 389 - 393

9. Books received

   • Janusz Czelakowski
   • Gerhârd Schurz
   • Andrzej Skowron

   BookReview Pages: 395 - 400