Topoi: The Categorial Analysis of Logic

Descriere

A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and...