✦ LIBER ✦
Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators
✍ Scribed by Toshiyasu Arai
- Book ID
- 108054685
- Publisher
- Elsevier Science
- Year
- 2010
- Tongue
- English
- Weight
- 583 KB
- Volume
- 162
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.