Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

  • Igor Lavrov
  • Larisa Maksimova
  • Giovanna Corsi

Part of the The University Series in Mathematics book series (USMA)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Problems

    1. Front Matter
      Pages 1-1
    2. Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 3-49
    3. Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 51-134
    4. Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 135-166
  3. Solutions

    1. Front Matter
      Pages 167-167
    2. Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 169-202
    3. Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 203-247
    4. Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 249-270
  4. Back Matter
    Pages 271-282

About this book

Introduction

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.

Keywords

Cardinal number Mathematica algorithms logic mathematical logic predicate logic proof proof theory set theory sets

Authors and affiliations

  • Igor Lavrov
    • 1
  • Larisa Maksimova
    • 2
    • 3
  1. 1.Russian Academy of SciencesMoscowRussia
  2. 2.Sobolev Institute of Mathematics of Siberian Branch of Russian Academy of SciencesRussia
  3. 3.Novosibirsk State UniversityNovosibirskRussia

Editors and affiliations

  • Giovanna Corsi
    • 1
  1. 1.University of BolognaBolognaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4615-0185-5
  • Copyright Information Kluwer Academic/Plenum Publishers, New York 2003
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-4957-0
  • Online ISBN 978-1-4615-0185-5
  • About this book