A Many-Sorted Approach to Predicative Mathematics (1983)

by J L Hook