Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics). Author:Goldblatt, Robert. A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.