Exact equiconsistency results for Δ31-se
✍
Haim Judah
📂
Article
📅
1992
🏛
Springer
🌐
English
⚖ 543 KB