Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics) (Paperback)