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… (more)

Total Loans | Concurent Loans | Lifetime | Maximum lending period |
---|---|---|---|

Unlimited | 1 loans | Unlimited | 59 days |

Protection | Number of Devices | Copy/Paste | |
---|---|---|---|

ACS4 | 6 loans | false | false |

**Publisher:** Dover Publications
(September 22, 2014)

**Collection:** Dover Books on Mathematics

**Parent ISBN:** 9780486676326

**Page count:** 292 pages

**Language:** English