1. Preface Logic Colloqium '95, Haifa, Israel

   • Dieter Ebbinghaus

   Pages: 203 - 203

2. 0-1 laws for recursive structures

   • E. Grädel
   • A. Malmström

   Pages: 205 - 215

3. An existential fragment of second order logic

   • Eric Rosen

   Pages: 217 - 234

4. Bounded variable logics: two, three, and more

   • Martin Otto

   Pages: 235 - 256

5. Normalizable linear orders and generic computations in finite models

   • Alexei P. Stolboushkin
   • Michael A. Taitslin

   Pages: 257 - 271

6. Random graphs in the monadic theory of order

   • Shmuel Lifsches
   • Saharon Shelah

   Pages: 273 - 312

7. Undecidability results on two-variable logics

   • Erich Grädel
   • Martin Otto
   • Eric Rosen

   Pages: 313 - 354