Advertisement

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

  5. Back Matter
    Pages 399-412

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