Bring your auction to collectors worldwide!
Get listed nowBy subscribing, you are agreeing to the privacy policy. Unsubscribe anytime.
Barnebys HQ
Brahegatan 10
BOX 5038
114 37 Stockholm
All auctions / Books, Maps & Manuscripts / Die Vollständigkeit Der Axiome Des Logischen Funktionenkalküls
GÖDEL, Kurt (1906-1978). "Die Vollständigkeit der Axiome des logischen Funktionenkalküls." Offprint from: Monatsheften für Mathematik und Physik , vol. 37, part 2. Leipzig: Akademische Verlagsgesellschaft, 1930. Rare and fine offprint for presentation of Gödel's first proof of the completeness theorem , developed from Godel's doctoral dissertation of 1929. This is the first major publication by one of the most important figures in 20th-century mathematics. "Kurt Gödel's achievement in modern logic is singular and monumental – indeed it is more than a monument, it is a landmark which will remain visible far in space and time... The subject of logic has certainly completely changed its nature and possibilities with Gödel's achievement" (John von Neumann, quoted in Halmos, The American Mathematical Monthly , vol. 80, no. 4, pp. 383-394). In this paper, Gödel showed that first-order logic is fully formalizable and that all its logically valid statements can, in principle, be proven. His arithmetizing syntax was the seed for the incompleteness proofs which followed only a year later. This is one of only two copies of this paper to appear in the auction records of RBH or ABSA. Octavo (233 x 151mm). 12pp., 349-360. Original stapled wrappers, the front wrapper with printed statement of presentation from the author (insignificant faint creasing to top-left corner and continuing into text).
Estimate:£30,204.64
To the auctionView all items fromChristie'sorBooks, Maps & Manuscripts
Estimate:
£30,204.64
BIBLIOFILI/TRÄDGÅRD. SVENSKA TRÄDGÅRDSKONSTEN SÅDAN DEN TILL VÅRA
10/07/2026
£83.39
Est: £226.15
OCT 17 | 10:00 PM
Bring your auction to collectors worldwide!
Get listed now£257.04
FARMAKOLOGI. PHARMAKOPOEA SVECICA EDITIO QUARTA EMENDATA/FJÄRDE RÄTTADE
10/07/2026
£58.45
Est: £37.66
KARTA ÖVER FRANKRIKE OCH SCHWEIZ. UR STIELER'S HAND-ATLAS, 1855.
10/07/2026
£30.32
Est: £37.69
KBIOKEMI. VINCENZ KLETZINSKY'S COMPENDIUM DER BIOCHEMIE 1858 - DEN
10/07/2026
£106.14
Est: £150.64
