Cambridge Studies in Advanced Mathematics Lectures in Logic and Set Theory: Series Number 82: Mathematical Logic Volume 1 (Paperback)
  • Cambridge Studies in Advanced Mathematics Lectures in Logic and Set Theory: Series Number 82: Mathematical Logic Volume 1 (Paperback)
zoom

Cambridge Studies in Advanced Mathematics Lectures in Logic and Set Theory: Series Number 82: Mathematical Logic Volume 1 (Paperback)

(author)
£38.99
Paperback 342 Pages / Published: 09/09/2010
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
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.

Publisher: Cambridge University Press
ISBN: 9780521168465
Number of pages: 342
Weight: 500 g
Dimensions: 229 x 152 x 19 mm


MEDIA REVIEWS
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
"A thorough and complete resource for "one of the most remarkable theorems of logic." George Tourlakis' Mathematical Logic is a highly worthwhile addition the the literature." Robert Mignone, The Review of Modern Logic

You may also be interested in...

Godel's Proof
Added to basket
£11.99
Paperback
Category Theory
Added to basket
£38.99
Paperback
Computability and Logic
Added to basket
The Foundations of Mathematics
Added to basket
Measurements and their Uncertainties
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback
Equation That Couldn't be Solved
Added to basket
Logic and Discrete Mathematics
Added to basket
How to Prove It
Added to basket
The Joy of Sets
Added to basket
£50.99
Hardback

Please sign in to write a review

Your review has been submitted successfully.