Undecidability of the first-order arithm
โ
Hiroakira Ono; Akira Nakamura
๐
Article
๐
1979
๐
Elsevier Science
๐
English
โ 590 KB