Reflections on the foundations of mathematics: essays in honor of solomon feferman: lecture notes in logic 15
Éditeur :
Taylor & Francis Inc
ISBN :
9781568811697
Date de publication :
16 août 2002
Dimensions :
23,4 x 16,4 cm
Poids :
816 g
Langue :
Anglais
Pays d'origine :
USA
This book is based on a symposium held at Stanford University. It focuses on the semantic content of the theories under consideration, rather than the syntactic structure of their proofs, and describes the systems of ordinal notations that are needed to carry out the ordinal analysis.