Iterated inductive fixed-point theories: Application to hancock’s conjecture (1982)

by Solomon Feferman
Venue:Patras Logic Symposium