Solomon Feferman is one of the leading figures in logic and the foundations of mathematics. This volume brings together a …
