Foundational Theories of Classical and Constructive Mathematics

One of the first confrontations of foundations of classical and foundations of constructive mathematics A technical and philosophical treatment of the subject An extensive philosophical reflection on the meaning and use of foundations in mathematics