|
|
Showing 1 - 2 of
2 matches in All Departments
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.
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.
|
You may like...
Blood Trail
Tony Park
Paperback
R310
R281
Discovery Miles 2 810
Zero Hour
Don Bentley
Paperback
R450
R414
Discovery Miles 4 140
The Coven
Lizzie Fry
Paperback
R415
R381
Discovery Miles 3 810
In At The Kill
Gerald Seymour
Paperback
R445
R409
Discovery Miles 4 090
In Too Deep
Lee Child, Andrew Child
Paperback
R395
R353
Discovery Miles 3 530
The New Kingdom
Wilbur Smith, Mark Chadbourn
Hardcover
(1)
R589
R530
Discovery Miles 5 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.