Liknande böcker

The Frege reader
Bok av Gottlob Frege
Wittgenstein, Finitism, and the Foundations of Mathematics
Bok av Mathieu Marion
Continuous Improvement Strategies : Japanese Convenience Store Systems
Bok av David. Marutschke
From Dedekind to Gödel
Bok av Jaakko Hintikka
Proof and Knowledge in Mathematics
Bok av Michael Detlefsen
Philosophy of Mathematics in the Twentieth Century
Bok av Parsons Charles Parsons
Mathematical Intuition
Bok av Richard L. Tieszen
New Essays on Frege : Between Science and Literature
Bok av Gisela Bengtsson

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.