Problems In Set Theory, Mathematical Logic And The Theory Of Algorithms (university Series In Mathematics)
by Igor Lavrov /
2003 / English / PDF
40.7 MB Download
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 & 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.
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.