Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientsts, logicians and philosophers who study the foundations of mathematics, and to those working in... This description may be from another edition of this product.