Sketches of an Elephant: A Topos Theory Compendium 2 Volume Set (Oxford Logic Guides) by Peter T. Johnstone
Sketches of an Elephant: A Topos Theory Compendium 2 Volume Set (Oxford Logic Guides) by Peter T. Johnstone
Oxford University Press | July 17, 2003 | English | ISBN: 019852496X | 1175 pages | DJVU | 8 MB
Oxford University Press | July 17, 2003 | English | ISBN: 019852496X | 1175 pages | DJVU | 8 MB
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.