Problems in set theory, mathematical logic, and the theory of algorithms
By: Igor Lavrov and Larisa Maksimova ; edited by Giovanna Corsi ; translated by Valentin Shehtman.
Contributors: Maksimova, L. L.; Corsi, Giovanna.
Series: The university series in mathematics; University series in mathematics (Plenum Press)
Publisher: Kluwer Academic/Plenum Publishers
Published: 2003
Place of publication: New York
Language: eng
Number of pages: 282
Subjects: Set theory -- Problems, exercises, etc.; Logic, Symbolic and mathematical -- Problems, exercises, etc.; Algorithms -- Problems, exercises, etc.
Genres: Problems, exercises, etc.
Work titles: Zadachi po teorii mnozhestv, matematicheskoĭ logike i teorii algoritmov.
Description: "Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov and L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. The text covers major classical topics in model theory and proof theory as well as set theory and computation theory. Each chapter begins with one or two pages of terminology and definitions, making this textbook a self-contained and definitive work of reference.

Solutions are also provided. The book is designed to become and essential part of curricula in logic."--BOOK JACKET.
Notes: Includes bibliographical references (p. 271-273) and index.