Title: Logicism renewed
First published: 2005
LC classification: QA