Problems in set theory, mathematical logic, and the theory of algorithms

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

שנה

2003

שפה

English

הוצאה

Springer

מהדורות

4

עמודים

302

ISBN

9780306477126

מקור הנתונים: Wikidata