Bøker av Solomon (Professor of Philosophy and Mathematics Feferman

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.