Foundations of Constructive Mathematics

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". The general organization of the book is described in the" User''s Manual" which follows this introduction, and the contents...