Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.
 
 

Ergebnis der Suche nach: "117710458"



Treffer 7 von 17 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/456641092
Titel Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften : N.F. [H. 1/8] / Unter Mitw. von W. Ackermann [u.a.] hrsg. von Heinrich Scholz
Person(en) Scholz, Heinrich (Mitwirkender)
Hermes, Hans
Roth, Eugen
Gentzen, Gerhard
Hermes, Hans
Ackermann, Wilhelm
Scholz, Heinrich
Hermes, Hans
Gentzen, Gerhard
Schröter, Karl
Schröter, Karl
Ausgabe Nachdr.
Verlag Hildesheim : Gerstenberg
Zeitliche Einordnung Erscheinungsdatum: 1970
Umfang/Format Getr. Pag. [311 S.] ; 4
ISBN/Einband/Preis 978-3-8067-0013-8 Lw. : 57.-
3-8067-0013-3 Lw. : 57.-
Anmerkungen Enth.: H. 1. Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls : (Reprograph. Nachdr. d. Ausg. Leipzig 1937) / Hans Hermes ; Heinrich Scholz. H. 2. Axiomatische Untersuchungen zur projektiven, affinen und metrischen Geometrie : (Reprograph. Nachdr. d. Ausg. Leipzig 1937) / Eugen Roth. H. 3. Eine Axiomatisierung der allgemeinen Mechanik : (Reprograph. Nachdr. d. Ausg. Leipzig 1938) / Hans Hermes. H. 4. Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie : (Reprograph. Nachdr. d. Ausg. Leipzig 1938) / Gerhard Gentzen. H. 5. Semiotik : Eine Theorie d. Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen : (Reprograph. Nachdr. d. Ausg. 1938) / Hans Hermes. H. 6. Ein allgemeiner Kalkülbegriff : (Reprograph. Nachdr. d. Ausg. Leipzig 1941) / Karl Schröter. H. 7. Ein System der typenfreien Logik : 1. (Reprograph. Nachdr. d. Ausg. Leipzig 1941) / Wilhelm Ackermann. H. 8. Axiomatisierung der Fregeschen Aussagenkalküle : (Reprograph. Nachdr. d. Ausg. Leipzig 1943) / Karl Schröter. - Mit Literaturangaben. - Lizenz d. Verl. Hirzel, Stuttgart
Status nach VGG: vergriffen
Sachgruppe(n) 03a Philosophie
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: D 71b/512
Bereitstellung in Frankfurt
Leipzig Signatur: 1972 B 1632
Bereitstellung in Leipzig




Treffer 7 von 17
< < > <


E-Mail-IconAdministration