Logic, Foundations of Mathematics, and Computability Theory: Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975

Kant’s Philosophy of Physical Science: Metaphysische Anfangsgründe der Naturwissenschaft 1786–1986

Constructivism and Science: Essays in Recent German Philosophy