Hermes, Hans, 1912-2003
Hermes, Hans
Hermes, Hans, fl. 1927
Hans Hermes
VIAF ID: 82820 ( Personal )
Permalink: http://viaf.org/viaf/82820
Preferred Forms
- 100 0 _ ‡a Hans Hermes
- 200 _ | ‡a Hermes ‡b Hans ‡f 1912-2003
- 100 1 _ ‡a Hermes, Hans
-
-
-
- 100 1 _ ‡a Hermes, Hans
-
-
-
-
-
- 100 1 _ ‡a Hermes, Hans ‡d 1912-2003
- 100 1 _ ‡a Hermes, Hans ‡d 1912-2003
-
- 100 1 _ ‡a Hermes, Hans, ‡d 1912-2003
-
4xx's: Alternate Name Forms (19)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Archiv für Philosophie | |
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen | |
Axiomatisierung der allgemeinen Mechanik | |
Brev | |
Einführung in die mathematische Logik | |
Einführung in die mathematische Logik. Klassische Prädikatenlogik | |
Einfürung in die Verbandsteorie | |
Enumerability, decidability, computability : an introduction to the theory of recursive functions | |
Enzyklopädie der geisteswissenschaftlichen Arbeitsmethoden. | |
Enzyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen. | |
Grundbegriffe der Verbandstheorie | |
Grundlagen der Mathematik | |
Introducción a la teoría de la computabilidad : algoritmos y máquinas | |
Introduction to mathematical logic | |
Die Klassifikation und ihr Umfeld : 10. Jahrestagung der Gesellschaft für Klassifikation e.V., Münster/W., 18.-21. Juni 1986 = Classification and its environment : proceedings | |
Korespondencja naukowa : wydanie krytyczne | |
Mathesis universalis : Abhandlungen zur Philosophie als Strenger Wissenschaft | |
Methoden der Logik und Mathematik. Dargestellt von Hans Hermes. Statistische Methoden. Dargestellt von Erich Mittenecker. | |
Nachgelassene Schriften / Gottlob Frege. - Hamburg, 1969. | |
Nachgelassene Schriften / Nachschrift einer Vorlesung und Protokolle mathematischer Vorträge Freges | |
Nachgelassene Schriften und Wissenschaftlicher Briefwechsel | |
neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls | |
Les nombres : leur histoire, leur place et leur rôle de l'Antiquité aux recherches actuelles | |
Numbers | |
Philosophical and mathematical correspondence | |
Posthumous Writings | |
Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien | |
Sammlung | |
Semiotik : eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen | |
teoria de reticulos y su aplicación a la lógica matemática | |
Term logic with choice operator | |
Termlogik mit auswahloperator | |
Utvalg | |
Die vier Wissenschaften der Pythagoreer | |
Vorlesung über Entscheidungsprobleme in Mathematik und Logik | |
Vorlesungen über lineare Transformationen (Analytische Geometrie II) |