Notes on categorical logic. Graduate Lecture (1989)

by A M Pitts