Nå samlare över hela världen med din auktion!
Lista er auktionGenom att prenumerera godkänner du integritetspolicyn. Avprenumerera när som helst.
Barnebys HQ
Brahegatan 10
BOX 5038
114 37 Stockholm
Alla auktioner / Böcker, Kartor och Texter / 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).
Utropspris:SEK 401,604.16
Till auktionenVisa alla föremål frånChristie'sellerBöcker, Kartor och Texter
Utropspris:
SEK 401,604.16
BIBLIOFILI/TRÄDGÅRD. SVENSKA TRÄDGÅRDSKONSTEN SÅDAN DEN TILL VÅRA
10/07/2026
SEK 1,100
Uppsk.: SEK 3,000
Nå samlare över hela världen med din auktion!
Lista er auktion
SEK 3,317.83
FARMAKOLOGI. PHARMAKOPOEA SVECICA EDITIO QUARTA EMENDATA/FJÄRDE RÄTTADE
10/07/2026
SEK 771
Uppsk.: SEK 500
KARTA ÖVER FRANKRIKE OCH SCHWEIZ. UR STIELER'S HAND-ATLAS, 1855.
10/07/2026
SEK 400
Uppsk.: SEK 500
KBIOKEMI. VINCENZ KLETZINSKY'S COMPENDIUM DER BIOCHEMIE 1858 - DEN
10/07/2026
SEK 1,400
Uppsk.: SEK 2,000
