Predicates and Fibrations (1990)

by D Pavlovi'c