ENGLISH

Undecidable theories

By Tarski A

Book information

Publisher
NH
Year
1971
ISBN
9780444533784, 0720422469
ISSN
0049-237X
ASIN
B0007ILNII
Google Books ID
XtLbjZjB1B8C
Language
english
Format
DJVU
Filesize
6 MB (6277686 bytes)
Series
Studies in Logic and the Foundations of Mathematics 13
Pages
105\105
Topic
Mathematics Logic
Library
kolxoz
DPI
400
Scanned
no
Time added
2009-07-20 03:45:11

Description

This monography consists of three papers: "A general method in proofs of undecidability", "Undecidability and essential undecidability in arithmetic", "Undecidability of the elementary theory of groups".

Similar books