Sketches of an elephant : a topos theory compendium

#43-44 in Oxford Logic Guides

Oxford Logic Guides is a 4-book series with 4 primary works first released in 1992 with contributions by Colin McLarty, Dov M. Gabbay, and 5 others.