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
A Course in Mathematical Logic for Mathematicians Free Download
April 8, 2022
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...
ANALYSICS MATHEMATICS
Measure and Integral An Introduction to Real Analysis 2nd Edition by Richard L. Wheeden PDF
October 10, 2023
Now considered a classic text on the topic, Measure and Integral: An Introduction to Real Analysis provides an introduction to real analysis by first...
ANALYSICS MATHEMATICS
Qualitative Analysis of Nonlinear Elliptic Partial Differential Equations by Vicentiu Radulescu PDF
September 29, 2023
The book provides a comprehensive introduction to the mathematical theory of nonlinear problems described by elliptic partial differential equations. These...
Recent Posts
- Algebra 3 Homological Algebra and Its Applications by Ramji Lal PDF
- Heat Transfer Physics 2nd Edition By Massoud Kaviany PDF
- Lavin’s Radiography for Veterinary Technicians, 6th Edition by Marg Brown PDF
- Principles of Physics, 10th Edition by David Halliday PDF
- The Dog Behavior Problem Solver by Teoti Anderson PDF
Add Comment