TY  - BOOK
AU  - Sieg,Wilfried
AU  - Sommer,Richard
AU  - Talcott,Carolyn
AU  - Feferman,Solomon
TI  - Reflections on the foundations of mathematics: essays in honor of Solomon Feferman 
T2  - Lecture notes in logic
SN  - 9781316755983 (ebook)
AV  - QA9.A1 R44 2016
U1  - 511.3 23
PY  - 2016///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Mathematics
KW  - Philosophy
N1  - Title from publisher's bibliographic system (viewed on 14 Apr 2017)
N2  - Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought
UR  - https://doi.org/10.1017/9781316755983
ER  -