| W.S. Anglin, J. Lambek - Science - 2012 - 331 pages
The authors' novel approach to some interesting mathematical concepts - not normally taught in other courses - places them in a historical and philosophical setting. Although ... | |
| John L. Bell - Mathematics - 2008 - 267 pages
This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic ... | |
| B. Jacobs - Mathematics - 1999 - 760 pages
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its ... | |
| American Mathematical Society. Meeting - Mathematics - 1984 - 307 pages
Mathematicians interested in understanding the directions of current research in set theory will not want to overlook this book, which contains the proceedings of the AMS ... | |
| |