You need to sign in or sign up before continuing.
Take a photo of a barcode or cover

98 pages • missing pub info (view editions)
ISBN/UID: 9780486477039
Format: Paperback
Language: English
Publisher: Dover Publications
Edition Pub Date: 19 August 2010
Description
This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closure algebras--are undecidable. Based on research conducted from 1938 to 1952, it consists of three...
Community Reviews
Content Warnings

98 pages • missing pub info (view editions)
ISBN/UID: 9780486477039
Format: Paperback
Language: English
Publisher: Dover Publications
Edition Pub Date: 19 August 2010
Description
This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closure algebras--are undecidable. Based on research conducted from 1938 to 1952, it consists of three...