The first edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In the intervening three decades, a lot of interesting things have happened to mathematical logic: (i) Model theory has shown that insights acquired in the study of formal languages could be used fruitfully in solving old problems of conventional mathematics. (ii) Mathematics has been and is moving with growing acceleration from the set-theoretic language of structures to the language and intuition of (higher) categories, leaving behind old concerns about in a new view of foundations is now emerging. (iii) Computer science, a no-nonsense child of the abstract computability theory, has been creatively dealing with old challenges and providing new ones, such as the P/NP problem. Planning additional chapters for this second edition, I have decided to focus onmodel theory,the conspicuous absence of which in the first edition was noted in several reviews, and the theory of computation, including its categorical and quantum aspects
You may also like
This book offers the reader an overview of recent developments of integral equations on time scales. It also contains elegant analytical and numerical methods...
Now considered a classic text on the topic, Measure and Integral: An Introduction to Real Analysis provides an introduction to real analysis by first...
The book provides a comprehensive introduction to the mathematical theory of nonlinear problems described by elliptic partial differential equations. These...
- Principles of Physics From Quantum Field Theory to Classical Mechanics Vol 2 by Jun Ni PDF
- Chemistry, 4th Edition by Catherine E. Housecroft PDF
- Mathematics for Physics and physicists by Walter Appel PDF
- Nutrition for Veterinary Technicians and Nurses by Ann Wortinger PDF
- Modern Physics 4th Edition by Kenneth S. Krane PDF