Advertisement

Mathematical Logic and Its Applications

  • Dimiter G. Skordev

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Gödel Session

    1. Front Matter
      Pages 1-1
    2. John W. Dawson Jr.
      Pages 9-21
    3. P. P. Petkov
      Pages 23-36
  3. Summer School

    1. Front Matter
      Pages 37-37
    2. Johan van Benthem
      Pages 39-60
    3. Douglas S. Bridges
      Pages 61-79
    4. Herman Ruge Jervell
      Pages 125-135
    5. V. A. Nepomniaschy, N. V. Shilov
      Pages 137-147
    6. Alberto Pettorossi, Andrzej Skowron
      Pages 149-165
    7. Helena Rasiowa
      Pages 167-186
    8. Krister Segerberg
      Pages 205-211
    9. Boris A. Trakhtenbrot
      Pages 213-229
  4. Conference

    1. Front Matter
      Pages 231-231
    2. George Gargov, Solomon Passy, Tinko Tinchev
      Pages 253-263
    3. Ljubomir L. Ivanov
      Pages 265-272
    4. Evangelos Kranakis
      Pages 273-282
    5. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
      Pages 293-302
    6. J. J. Moreno Navarro, M. Rodriguez Artalejo
      Pages 303-314
    7. Marcin Mostowski
      Pages 315-322
    8. Ivan N. Soskov
      Pages 341-350
    9. Marius Zimand
      Pages 351-359
  5. Back Matter
    Pages 361-371

About this book

Keywords

Cut-elimination theorem algorithms logic mathematical logic predicate logic proof type theory

Editors and affiliations

  • Dimiter G. Skordev
    • 1
    • 2
  1. 1.Sofia UniversitySofiaBulgaria
  2. 2.Sector of Mathematical LogicFaculty of Math. & Mech.SofiaBulgaria

Bibliographic information