Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987

Feferman on Foundations: Logic, Mathematics, Philosophy

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman