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

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

  • DOI https://doi.org/10.1007/978-1-4613-0897-3
  • Copyright Information Springer-Verlag US 1987
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-8234-1
  • Online ISBN 978-1-4613-0897-3
  • About this book