Iterated local re ection vs. iterated consistency. Logic Group Preprint Series 118 (1994)

by L D Beklemishev
Venue:University of Utrecht