
Publication details
Publisher: Springer
Place: Berlin
Year: 2009
Series: Synthese Library
ISBN (Hardback): 9781402089251
Full citation:
Erik Palmgren, Krister Segerberg (eds), Logicism, intuitionism, and formalism, Berlin, Springer, 2009
Logicism, intuitionism, and formalism
Contents
"Gödel's modernism: on set-theoretic incompleteness" revisited
Mark Van Atten, Juliette Kennedy
303-355
Categories, structures, and the Frege-Hilbert controversy
the status of meta-mathematics
Stewart Shapiro
435-448