Undecidable theories
Tarski A
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".
种类:
年:
1971
出版社:
NH
语言:
english
页:
105
ISBN 10:
0720422469
ISBN 13:
9780720422467
系列:
Studies in Logic and the Foundations of Mathematics 13
文件:
DJVU, 5.99 MB
IPFS:
,
english, 1971