Predicative logics (1983)

by Allen Hazen
Venue:Handbook of Philosophical Logic