This volume brings together a selection of Solomon Feferman's most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intensionality in mathematics, and key issues in the work of Goedel, Hilbert, and Turing.
العربية 