Iterated inductive fixed-point theories: application to Hancock’s conjecture (1982)

by S Feferman
Venue:In The Patras Symposion