
Popular Lectures on Mathematical Logic
by Hao Wang
Format: Paperback
ISBN13: 9780486676326
Paperback|9780486676326
✨ Featured Offer
Brand New
$74.76
List Price: $10.95
🚚
See all 3 offers from $10.25 FREE standard delivery by: 31 Mar 2026
Overview
A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Godel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-colour problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.
| ISBN-13 | 9780486676326 |
|---|---|
| ISBN-10 | 0486676323 |
| Weight | 0.70 Pounds |
| Dimensions | 5.50 x 0.75 x 8.50 In |
| List Price | $10.95 |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | 292 pages |
| Publisher | Dover Publications |
| Published On | 2014-11-19 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Very Good
Seller details
Half Price Books Inc
Dallas, TX, USA
Connecting readers with great books since 1972! Used books may not include companion materials, and ...
Free delivery by: 31 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 31 Mar 2026
✨ Brand New
Seller details
Bonita
Santa Clarita, CA, USA
Free delivery by: 31 Mar 2026