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...
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Editorial Reviews
Language Notes
Text: English (translation)
Original Language: Russian
Original Language: Russian
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
The sign denotes the membership relation, i.e., A means that an element is a member of a set A. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
unary partial recursive functions, formulas deducible, arbitrary cardinal numbers, elementary disjunctions, elementary mapping, axiomatizable class, elementary conjunction, total recursive function, cardinality larger, following sequents, primitive recursive, finite reduction, elementary extension, linearly ordered set, primitive recursion, logical matrix, principal ultrafilter, recursive set, axiom schemata, enumerable sets, separating classes, recursively enumerable set, prenex normal form New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
The sign denotes the membership relation, i.e., A means that an element is a member of a set A. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
unary partial recursive functions, formulas deducible, arbitrary cardinal numbers, elementary disjunctions, elementary mapping, axiomatizable class, elementary conjunction, total recursive function, cardinality larger, following sequents, primitive recursive, finite reduction, elementary extension, linearly ordered set, primitive recursion, logical matrix, principal ultrafilter, recursive set, axiom schemata, enumerable sets, separating classes, recursively enumerable set, prenex normal form New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 18
books:
See all 18 books this book cites
- Mathematical Logic (Dover Books on Mathematics) by Stephen Cole Kleene in Back Matter (1), and Back Matter (2)
- Set Theory. Third Edition by Felix Hausdorff on page 43
- Introduction to Mathematical Logic by Alonzo Church in Back Matter
- Computability and Unsolvability by Martin Davis in Back Matter
- Mathematical Logic by Yu. L. Ershov in Back Matter
See all 18 books this book cites
Books on Related Topics
(learn more)
|
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
|
|
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Programming > Algorithms
- Books > New & Used Textbooks > Computer Science
- Books > New & Used Textbooks > Humanities > Philosophy > Logic
- Books > New & Used Textbooks > Science & Mathematics > Mathematics
- Books > Politics & Social Sciences > Philosophy
- Books > Science & Math > Mathematics
