Finitary inductive systems (1988)

by Solomon Feferman
Venue:Proceedings of Logic Colloquium ’88