Logical Predicates and Indeterminates (1993)

by Fibrations