Ergebnisse eines mathematischen Kolloquiums.
15.02.2020 11:00UTC +01:00
Classic
Vendu
2500EUR € 2 500
| Auctioneer | Auktionshaus Kiefer |
|---|---|
| Lieu de l'événement | Allemagne, Pforzheim |
| Commission | 1. Nicht gekennzeichnte Nrn.: Aufgeld 23 zzgl. 7 Mwst; 2. Mit R gekennzeichnte Nrn.: 23 zzgl. 19 Mwst; 3. Mit D gekennzeichnte Nrn.: Aufgeld 33 inkl. MWSt% |
Archive
La vente aux enchères est terminée. Vous ne pouvez plus enchérir.

ID 286717
Lot 2149 | Ergebnisse eines mathematischen Kolloquiums.
╔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.
| Catégorie maison de vente aux enchères: | Différents domaines - Varia |
|---|
| Catégorie maison de vente aux enchères: | Différents domaines - Varia |
|---|
| Adresse de l'enchère |
Auktionshaus Kiefer Steubenstraße 36 75172 Pforzheim Allemagne | |
|---|---|---|
| Aperçu |
| |
| Téléphone | +49 (0)7231 92320 | |
| Fax | +49-7231-923216 | |
| Commission |
1. Nicht gekennzeichnte Nrn.: Aufgeld 23% zzgl. 7% Mwst; 2. Mit R gekennzeichnte Nrn.: 23% zzgl. 19% Mwst; 3. Mit D gekennzeichnte Nrn.: Aufgeld 33% inkl. MWSt | |
| Conditions d'utilisation | Conditions d'utilisation |


