Bachelard: Science and Objectivity, 1984.
The Philosophy of Set Theory: An Introduction to Cantor's Paradise, 1989.
Mathematics and the Image of Reason, 1991.
An Introduction to Historical Epistemology: The Authority of Knowledge (with Jim Tiles), 1993.
Living in a Technological Culture: Human Issues and Human Values (with Hans Oberdiek), 1995.