This book is the first systematic treatment of this area so far scattered in a vast number of articles. As in classical topology, concrete problems require rest

This book discusses the use of the real numbers in theorem proving. Typ ically, theorem provers only support a few 'discrete' datatypes such as the natural numb

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisci

Until the mid-twentieth century, topological studies were focused on the theory of suitable structures on sets of points. The concept of open set exploited sinc