𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Undecidability vs transfinite induction for the consistency of hyperarithmetical sets

✍ Scribed by Caporaso, Salvatore ;Pani, Giovanni


Publisher
Springer-Verlag
Year
1980
Weight
397 KB
Volume
22
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.