Book 2012

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

Igor Lavrov Larisa Maksimova Giovanna Corsi

2 readers

Publisher: Springer
Language: English
Published: 2012

Algorithms
Logic, Symbolic and mathematical
Problems, exercises
Problems, exercises, etc
Set theory
Symbolic and mathematical Logic
Mathematical logic
Mathematics

"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.