num_pages: 1284
description: Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Now available in this two volume set, it contains all the important information both volumes provides. Considered to be a complete benefit for all researchers and academics in theoretical computer science, logicians and philosophers who study the foundations of mathematics, and those working in differential geometry and continuum physics.
language: English
title: Sketches of an Elephant: A Topos Theory Compendium
titlecomplete: Sketches of an Elephant: A Topos Theory Compendium (Oxford Logic Guides, 43 & 44)
genres: Logic, Mathematics
ratings_count: 2
series: Oxford Logic Guides
publisher: Clarendon Press