Mathematical Logic

  • Petio Petrov Petkov

Table of contents

  1. Front Matter
    Pages i-x
  2. Heyting Session

    1. Front Matter
      Pages 1-1
    2. D. van Dalen
      Pages 19-27
  3. Summer School

  4. Conference

    1. Front Matter
      Pages 221-221

About this book

Keywords

Arithmetic Equivalence logic mathematical logic modal logic predicate logic sequent calculus set theory

Editors and affiliations

  • Petio Petrov Petkov
    • 1
  1. 1.Sofia UniversitySofiaBulgaria

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4613-0609-2
  • Copyright Information Springer-Verlag US 1990
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-7890-0
  • Online ISBN 978-1-4613-0609-2
  • About this book