Reduction theories for analysis (1985)

by W Sieg
Venue:Foundations of Logic and Linguistics