Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Undecidable theories
- Available as
- Online
- Physical
Details
Checking for availability...
- Creator
- edited by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson
- Format
- Books
- Language
- English
- Contributors
- Publication
-
- Amsterdam : North-Holland, 1953
- Physical Details
-
- 1 online resource (ix, 98 pages)
- data file
- ISBNs
- 0444533788, 9780444533784
- OCLC
- ocn428097401, ocm00889316
- Includes bibliographical references and index.
- General method in proofs of undecidability -- Undecidability and essential undecidability in arithmetic -- Undeciability of the elementary theory of groups