Categorical Logic. To appear in the Handbook of Logic (0)

by A M Pitts
Venue:Oxford University Press