Undecidable Theories

readers

Undecidable Theories By Alfred Tarski
Publisher: No.rth-Hol.land 1971 | 97 Pages | ISBN: 0720422469 | PDF | 1 MB




This monograph consists of three papers: A general method in proofs of undecidability, Undecidability and essential undecidability in arithmetic, Undecidability of the elementary theory of groups. While the first and the third papers have been written by the undersigned alone, the second paper is a joint work of A. Mostowski, R. M. Robinson, and the undersigned.



http://u.115.com/file/bhdreyoa#