Iterated Inductive Fixed-Point Theories: Application to Hancock’s Conjecture (1982)

by Solomon Feferman
Venue:in G. Metakides ed. Patras Logic Symposium