Auktionshaus Kiefer
Steubenstraße 36
75172 Pforzheim
Telefon 07231 / 92 32 0
http://www.kiefer.de


Auction 136:

Translator:

  Auction 112
 
You are actually browsing a previous auction.
Items shown are not availble to buy or to place a bid.
 
 


 
112-2149

Ergebnisse eines mathematischen Kolloquiums.


 
unter Mitwirkung von Kurt Gödel und Georg Nöbeling hrsg. von Karl Menger. Hefte 1-5 und 7 (v. 8). Lpz. und Bln., Teubner 1931-33 u. Lpz. u. Wien, Deuticke 1936. OU in mod. Pp.-Kassette. (Heftklammern etwas rostig, tls. kl. Rd.-Einrisse, etwas gebräunt, H.1: mit kl. Ausrissen am Rckn. u. Rd., H.2: vord. Umschlag lose, H.7: Ecken knittrig, Rckn. mit Ausrissen).  
 
Mit 10 Beiträgen von Gödel: Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. / Über Vollständigkeit und Widerspruchsfreiheit. / Eine Eigenschaft der Realisierungen des Aussagenkalküls. / Über Unabhängigskeitsbeweis im Aussagenkalkül. / Über die metrische Einbettbarkeit der Quadrupel des R 3 in Kugelflächen. / Über die Waldsche Axiomatik des Zwischenbegriffes. / Zur intuitionistischen Arithmetik und Zahlentheorie. / Eine Interpretation des intuitionistischen Aussagenkalküls. / Zum intuitionistischen Aussagenkalkül./ Bemerkung über projektive Abbildungen. / Gödel/Menger/Wald: Diskussion über koordinatenlose Differentialgeomerie. - Sowie weitere Beiträge von: Karl Menger 21; H.Hornich 2; G.Nöbeling 16; W.L.Ayres 3; G.T.Whyburn 3; Olga Taussky 3; Parry 2; Borsuk 2; A.Wald 10; Beer 2; Cech 2;Mimura 2; Evans; Schreiber; Helne Reschovsky; M.M.Biedermann; Gustav Bergmann; Karl Vanek; Laura Klanffer; Mazurkiewicz; Alt; Otto; Flores. - Heft 7: Mit wichtigen Beiträgen von Eduard Cech, Karl Menger, Alfred Tarski sowie von Kurt Gödel der Beitrag "Über die Länge von Beweisen", eine der Grundlagen der modernen Programmiersprachen. - Diese Ergebnisse zählen zu den wichtigsten Quellenwerken der Wissenschafts- und Geistesgeschichte der Zwischenkriegszeit mit bahnbrechenden Beiträgen.
 
Ergebnisse eines mathematischen Kolloquiums. | Bild Nr.1

Ergebnisse eines mathematischen Kolloquiums. | Bild Nr.1

Next auction 136

takes place in December 4-6,  2024



NEW:

Kiefer-live-auction


KIEFER Pforzheim
Tel. +49 (0)7231 / 9232-0
Similar items