Skip to main content
SpringerLink
Log in

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

  • Book
  • © 2003

Overview

Authors:
  1. Igor Lavrov

    1. Russian Academy of Sciences, Moscow, Russia

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Larisa Maksimova

    1. Sobolev Institute of Mathematics of Siberian Branch of Russian Academy of Sciences, Russia
      Novosibirsk State University, Novosibirsk, Russia

    View author publications

    You can also search for this author in PubMed   Google Scholar

Editors:
  1. Giovanna Corsi

    1. University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Problems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Set theory

      • Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 3-49

    3. Mathematical logic

      • Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 51-134

    4. Theory of algorithms

      • Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 135-166

  3. Solutions

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Set theory

      • Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 169-202

    3. Mathematical logic

      • Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 203-247

    4. Theory of algorithms

      • Igor Lavrov, Larisa Maksimova, Giovanna Corsi
      Pages 249-270

  4. Back Matter

    Pages 271-282
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors, Editors and Affiliations

  • University of Bologna, Bologna, Italy

    Giovanna Corsi

  • Russian Academy of Sciences, Moscow, Russia

    Igor Lavrov

  • Sobolev Institute of Mathematics of Siberian Branch of Russian Academy of Sciences, Russia

    Larisa Maksimova

  • Novosibirsk State University, Novosibirsk, Russia

    Larisa Maksimova

Bibliographic Information

  • Book Title: Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

  • Authors: Igor Lavrov, Larisa Maksimova

  • Editors: Giovanna Corsi

  • Series Title: University Series in Mathematics

  • DOI: https://doi.org/10.1007/978-1-4615-0185-5

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Kluwer Academic/Plenum Publishers, New York 2003

  • Hardcover ISBN: 978-0-306-47712-6Published: 31 March 2003

  • Softcover ISBN: 978-1-4613-4957-0Published: 16 September 2012

  • eBook ISBN: 978-1-4615-0185-5Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: XII, 282

  • Topics: Mathematical Logic and Foundations, Logic, Symbolic and Algebraic Manipulation

Publish with us

Policies and ethics

Back to top

Search

Navigation