✦ LIBER ✦
Polytime, combinatory logic and positive safe induction
✍ Scribed by Andrea Cantini
- Publisher
- Springer
- Year
- 2002
- Tongue
- English
- Weight
- 168 KB
- Volume
- 41
- Category
- Article
- ISSN
- 0933-5846
No coin nor oath required. For personal study only.