Your Waterstones card is changing, introducing...
TELL ME MORE
Aspects of Incompleteness - Lecture Notes in Logic 10 (Hardback)
  • Aspects of Incompleteness - Lecture Notes in Logic 10 (Hardback)
zoom

Aspects of Incompleteness - Lecture Notes in Logic 10 (Hardback)

(author)
£95.00
Hardback 142 Pages / Published: 02/03/2017
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publication in the Lecture Notes in Logic series, Per Lindstroem presents some of the main topics and results in general metamathematics. In addition to standard results of Goedel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, this book contains a thorough treatment of partial conservativity and degrees of interpretability. It comes complete with exercises, and will be useful as a textbook for graduate students with a background in logic, as well as a valuable resource for researchers.

Publisher: Cambridge University Press
ISBN: 9781107167926
Number of pages: 142
Weight: 300 g
Dimensions: 228 x 152 x 15 mm

You may also be interested in...

Math Girls
Added to basket
£11.99
Paperback
An Introduction to Non-Classical Logic
Added to basket
The Foundations of Mathematics
Added to basket
Logic for Dummies
Added to basket
£13.99
Paperback
Godel's Proof
Added to basket
£10.99
Paperback
Conceptual Mathematics
Added to basket
Equation That Couldn't be Solved
Added to basket
How to Prove It
Added to basket
Modern Logic
Added to basket
£77.99
Paperback
Logic
Added to basket
£10.99
Paperback
Sets, Logic and Categories
Added to basket
Category Theory
Added to basket
£38.99
Paperback
Introducing Infinity
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.