Mathematical Logic
Price range: ₹4,410.00 through ₹5,661.00
Explores additional important decidability results in this thoroughly updated new edition Introduces mathematical logic by analyzing foundational questions on proofs and provability in mathematics Highlights the capabilities and limitations of algorithms and proof methods both in mathematics and computer science Examines advanced topics, such as linking logic with computability and automata theory, as well as the unique role first-order logic plays in logical systems
Explores additional important decidability results in this thoroughly updated new edition Introduces mathematical logic by analyzing foundational questions on proofs and provability in mathematics Highlights the capabilities and limitations of algorithms and proof methods both in mathematics and computer science Examines advanced topics, such as linking logic with computability and automata theory, as well as the unique role first-order logic plays in logical systems
Additional information
| Book Format | Hardcover, Softcover |
|---|
Book information
Related Products
*- Autonomous Categories
*- Autonomous Categories
A Complex Analysis Problem Book
A Complex Analysis Problem Book
A Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations
A Course in Python: The Core of the Language
Reviews
There are no reviews yet.