1
by Smith, Peter
Published 2007
Cambridge University Press
Table of Contents: ... about Principia -- The arithmetization of syntax -- PA is incomplete -- Godel's first theorem...