Iterated Local Reflection vs Iterated Consistency (1995)

by Lev Beklemishev
Citations:1 - 0 self