Auteur: D. van Dalen

These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special …

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, …

The papers appearing in this volume are part of those originally intended for presentation at the conference: Logic Colloquium ’80 – European Summer Meeting of the Association for Symbolic Logic …

Sets: Naive, Axiomatic and Applied is a basic compendium on naive, axiomatic, and applied set theory and covers topics ranging from Boolean operations to union, intersection, and relative complement …

The present text resulted from lectures given by the authors at the Rijks Universiteit at Utrecht. These lectures were part of a series on ‘History of Contemporary Mathematics’. The need for such an …