This precis, comprised of three volumes, of which this book is the first, exposes the mathematical elements which make up the foundations of a number of contemp

This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what