conditions on variables and categorical logic (1989)

by Alpha-conversion
Venue:Studia Logica