✦ LIBER ✦
A double arity hierarchy theorem for transitive closure logic
✍ Scribed by Martin Grohe and Lauri Hella
- Book ID
- 120105728
- Publisher
- Springer
- Year
- 1996
- Tongue
- English
- Weight
- 259 KB
- Volume
- 35
- Category
- Article
- ISSN
- 0933-5846
No coin nor oath required. For personal study only.