Liknande böcker
In the Light of Logic
Bok av Solomon 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 Gdel, Hilbert, and Turing.