Sketches of an Elephant: A Topos Theory Compendium 2 Volume Set

ISBN-13: 9780198524960 / Angielski / Twarda / 2003 / 1284 str.

Johnstone

Opis

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.

Recenzje

This compendium contains material that was previously available only in specialist journals. This is likely to become the standard reference work for all those interested in the subject.

O autorze

Dr P.T. Johnstone Reader in the Foundations of Mathematics Dept of Pure Mathematics & Mathematical Statistics University of Cambridge Cambridge CB3 0BW