Undecidable Theories

Undecidable Theories - Dover Books on Mathematics

Dover Edition

Paperback (24 Sep 2010)

Save $4.18

  • RRP $18.21
  • $14.03
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

This book is well known for its proof that many mathematical systems - including lattice theory and closure algebras - are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups."

Book information

ISBN: 9780486477039
Publisher: Dover Publications Inc.
Imprint: Dover Publications
Pub date:
Edition: Dover Edition
DEWEY: 510.1
DEWEY edition: 22
Language: English
Number of pages: 98
Weight: 126g
Height: 159mm
Width: 215mm
Spine width: 6mm