Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Undecidable theoriesUndecidable theories

Undecidable theories

Alfred Tarski

About this book

This well-known book by the famed logician consists of three treatises: A General Method in Proofs of Undecidability, Undecidability and Essential Undecidability in Mathematics, and Undecidability of the Elementary Theory of Groups. 1953 edition.

Details

OL Work ID
OL15602187W

Subjects

Metamathematics

Find this book

HardcoverOpen Library
Book data from Open Library. Cover images courtesy of Open Library.