Logic List Mailing Archive

New anthology: "Logicism, Intuitionism, Formalism"

Dear Colleagues,

You may find this anthology, which has just been published, of interest.
It includes papers by participants of the 2004 workshop in Uppsala with
the same name.

Logicism, Intuitionism, and Formalism
What Has Become of Them?
Series: Synthese Library , Vol. 341
Lindstrm, S.; Palmgren, E.; Segerberg, K.; Stoltenberg-Hansen, V. (Eds.)
2009, XII, 512 p., Hardcover
Springer

http://www.springer.com/978-1-4020-8925-1

Erik Palmgren