Title: Topoi, the Categorial Analysis of Logic (Studies in Logic and the Foundations of Mathematics)
First published: 1979