-
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel / Dover Publications / 1992-04-01 / USD 6.952026-03-18 在读 -
Computability and Logic
George S. Boolos、John P. Burgess、Richard C. Jeffrey / Cambridge University Press / 2007-09-17 / USD 31.992026-03-18 在读