Kurt Godel On Formally Undecidable Propositions 1962 First American HC
Kurt Gödel — On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Basic Books, 1962. Basic Books, 1962. Important early English-language edition of Gödel’s famous work on mathematical logic and formal undecidability.
Human Endeavor & Mathematics Logic Set Theory Books Lot Of 5
Great lot mathematics a chronicle of human endeavor is like new, others are as well.