Seller
RRP: £42.99
Save £5.36 (12%)
Printed on Demand
Dispatched within 7-9 working days.
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
Cambridge Studies in Advanced Mathematics
Synopsis
This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
New & Used
Seller |
Information |
Condition |
Price |
|
| - | New | £37.63 + FREE UK P & P | |
What Reviewers Are Saying
Review of the hardback: ' ... stands among the dozen or so books that will remain within easy reach from my desk ... a highly worthwhile addition to the literature.' The Review of Modern Logic