
This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec- tions with philosophy and computer science. Namely, the creation and study of "formal systems for constructive mathematics"...
