|
|
Автор: Tarski A.
Год: 1971
Издание:
[не указано]
Страниц: [не указано]
ISBN: [не указан]
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".
|
|
