✦ LIBER ✦
Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
✍ Scribed by Yuri Matiyasevich
- Book ID
- 108200233
- Publisher
- Elsevier Science
- Year
- 2004
- Tongue
- English
- Weight
- 97 KB
- Volume
- 67
- Category
- Article
- ISSN
- 0378-4754
No coin nor oath required. For personal study only.