Starting at an introductory level, the book leads rapidly to important and often new results in synthetic differential geometry. From rudimentary analysis the b

This book, first published in 2006, details how limit processes can be represented algebraically.

This elegant book is sure to become the standard introduction to synthetic differential geometry. It deals with some classical spaces in differential geometry,

Represents the state of the art in the new field of synthetic differential topology.

Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities disc