Finitary inductive systems (1994)

by Saul Feferman
Venue:In What is a Logical System? Oxford