ENGLISH

Sketches of an Elephant: A Topos Theory Compendium, Volumes 1 & 2

Book information

Publisher
Oxford University Press
Year
2002
ISBN
019852496X, 9780198524960
LCC
QA169 .J62 2002
Google Books ID
TLHfQPHNs0QC
Language
english
Format
DJVU
Filesize
11 MB (12020182 bytes)
Series
Oxford Logic Guides 43-44
Pages
1182\1182
Topic
Mathematics Logic
DPI
300
Orientation
no
Scanned
yes
Time added
2011-08-31 04:54:40

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.

Similar books