In the light of logic
Auteur :
Feferman, Solomon
Éditeur :
Oxford University Press Inc
ISBN :
9780195080308
Date de publication :
7 janv. 1999
Dimensions :
24,1 x 15,5 x 2,7 cm
Poids :
649 g
Langue :
Anglais
Pays d'origine :
USA
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 Gödel, Hilbert, and Turing.