Ebbinghaus, Heinz-Dieter; Hermes, Hans; Hirzebruch, Friedrich; Koecher, Max; Mainzer, Klaus; Neukirch, Jürgen; Prestel, Alexander; Remmert, Reinhold; Lamotke, Klaus Zahlen. 3., verb. Aufl. (German) Zbl 0753.00004 Springer-Lehrbuch. Berlin: Springer-Verlag. xiv, 333 S. (1992). MSC: 00A05 PDFBibTeX XMLCite \textit{H.-D. Ebbinghaus} et al., Zahlen. 3., verb. Aufl. Berlin: Springer-Verlag (1992; Zbl 0753.00004)
Ebbinghaus, Heinz-Dieter; Hermes, Hans; Hirzebruch, Friedrich; Koecher, Max; Mainzer, Klaus; Neukirch, Jürgen; Prestel, Alexander; Remmert, Reinhold Numbers. With an introduction by Klaus Lamotke. Translated by H. L. S. Orde. Edited by John H. Ewing. Paperback ed. (English) Zbl 0741.00003 Graduate Texts in Mathematics. 123. New York etc.: Springer-Verlag. xviii, 391 p. (1991). MSC: 00A05 PDFBibTeX XMLCite \textit{H.-D. Ebbinghaus} et al., Numbers. With an introduction by Klaus Lamotke. Translated by H. L. S. Orde. Edited by John H. Ewing. Paperback ed. New York etc.: Springer-Verlag (1991; Zbl 0741.00003)
Hermes, Hans Einführung in die mathematische Logik. Klassische Prädikatenlogik. 5. Aufl., unveränd. Nachdr. der 4. Aufl. (German) Zbl 0733.03001 Mathematische Leitfäden. Stuttgart: B. G. Teubner. 206 S. DM 46.00 (1991). MSC: 03-01 03B10 03C40 03F30 PDFBibTeX XMLCite \textit{H. Hermes}, Einführung in die mathematische Logik. Klassische Prädikatenlogik. 5. Aufl., unveränd. Nachdr. der 4. Aufl. Stuttgart: B. G. Teubner (1991; Zbl 0733.03001)
Ebbinghaus, H.-D.; Hermes, H.; Hirzebruch, F.; Koecher, M.; Mainzer, K.; Neukirch, J.; Prestel, A.; Remmert, R. Ewing, J. H. (ed.) [Lamotke, K.] Numbers. With an introduction by K. Lamotke. Transl. from the 2nd German ed. by H. L. S. Orde. Edited by J. H. Ewing. (English) Zbl 0705.00001 Graduate Texts in Mathematics, 123; Readings in Mathematics. New York etc.: Springer-Verlag. xviii, 391 p. DM 98.00 (1990). MSC: 00A05 PDFBibTeX XMLCite \textit{H. D. Ebbinghaus} et al., Numbers. With an introduction by K. Lamotke. Transl. from the 2nd German ed. by H. L. S. Orde. Edited by J. H. Ewing. New York etc.: Springer-Verlag (1990; Zbl 0705.00001)
Ebbinghaus, Heinz-Dieter; Hermes, Hans; Hirzebruch, Friedrich; Koecher, Max; Mainzer, Klaus; Neukirch, Jürgen; Prestel, Alexander; Remmert, Reinhold Lamotke, K. (ed.) Zahlen. Red.: K. Lamotke. 2., überarb. u. erg. Aufl. (German) Zbl 0701.00001 Grundwissen Mathematik, 1. Berlin etc.: Springer-Verlag. xii, 333 p. DM 58.00 (1988). MSC: 00A05 PDFBibTeX XMLCite \textit{H.-D. Ebbinghaus} et al., Zahlen. Red.: K. Lamotke. 2., überarb. u. erg. Aufl. Berlin etc.: Springer-Verlag (1988; Zbl 0701.00001)
Frege, Gottlob [Hermes, H.; Kambartel, F.; Kaulbach, F.] Nachgelassene Schriften und wissenschaftlicher Briefwechsel. Erster Band: Nachgelassene Schriften. Bearb. von Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach. 2., rev. Aufl., erweitert um einen Anhang. Nachschrift einer Vorlesung und Protokolle mathematischer Vorträge Freges. (German) Zbl 0553.01026 Hamburg: Felix Meiner Verlag. XLI, 388 S. DM 168.00 (1983). Reviewer: H.Guggenheimer MSC: 01A75 01A55 03A05 01-02 PDFBibTeX XML
Ebbinghaus, H.-D.; Hermes, H.; Hirzebruch, Friedrich; Koecher, M.; Mainzer, K.; Prestel, A.; Remmert, Reinhold Lamotke, K. (ed.) Zahlen. (Numbers). (German) Zbl 0543.00001 Grundwissen Mathematik, 1. Berlin etc.: Springer-Verlag. XII, 288 S., 31 Abb. (1983). Reviewer: F.Halter-Koch MSC: 00A05 PDFBibTeX XML
Agazzi, Evandro (ed.) [Bochenski, J. M.; Surma, S. J.; Schütte, Kurt; Macintyre, Angus J.; Kreisel, Georg; Barwise, J.; Rose, A.; Belnap, N. D. jun.; Casari, E.; Takeuti, G.; Hermes, H.; Troelstra, A. S.; Fenstad, Jens Erik; Reyes, G. E.; Agazzi, E.; Hintikka, J.; Böhm, C.; Massey, G. J.; Dalla Chiara, M. L.; Cohen, L. J.; Lejewski, C.; Von Wright, G. H.; Van Fraassen, B. C.; Stalnaker, R.; Perelman, C.] Modern logic — a survey. Historical, philosophical, and mathematical aspects of modern logic and its applications. (English) Zbl 0464.03001 Synthese Library, Vol. 149. Dordrecht, Boston, London: D. Reidel Publishing Company. VIII, 475 p. $ 68.50; Dfl. 130.00 (1981). MSC: 03-02 03-03 03A05 03Bxx 03Cxx 03Dxx 03Exx 03Fxx 03Gxx 03Hxx 03-XX 03F55 03D10 03B50 03G30 03B40 03B45 81P10 03G12 03-06 01A60 01A65 PDFBibTeX XML
Hermes, Hans Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. 3. Aufl. (German) Zbl 0383.03023 Heidelberger Taschenbücher. 87. Berlin-Heidelberg-New York: Springer-Verlag. XIII, 258 S. (1978). MSC: 03Dxx 03F60 68W99 03D60 03-01 PDFBibTeX XML
Hermes, Hans Hundert Jahre formale Logik. (German) Zbl 0387.03001 Rheinisch-Westfälische Akademie der Wissenschaften. Natur-, Ingenieur- und Wirtschaftswissenschaften. (Opladen: Westdeutscher Verlag. 46 S. DM 12.00); Vorträge N 268, 25-39; Diskussion 40-46 (1977). MSC: 03-03 01A55 01A60 03-02 PDFBibTeX XML
Heidler, Klaus; Hermes, Hans; Mahn, Friedrich-K. Rekursive Funktionen. (German) Zbl 0372.02021 Mannheim-Wien-Zürich: Bibliographisches Institut. B.I.-Wissenschaftsverlag. VII, 236 S. DM 28.00 (1977). MSC: 03D20 03-01 68W99 68N01 68-01 PDFBibTeX XML
Hermes, Hans Einführung in die mathematische Logik. Klassische Prädikatenlogik. 4. Aufl. (German) Zbl 0346.02002 Mathematische Leitfaden. Stuttgart: B. G. Teubner. 206 S. DM 34.00 (1976). MSC: 03-01 03B10 03-XX PDFBibTeX XML
Frege, Gottlob Gabriel, Gottfried (ed.); Hermes, Hans (ed.); Kambartel, Friedrich (ed.); Thiel, Christian (ed.); Veraart, Albert (ed.) Nachgelassene Schriften und wissenschaftlicher Briefwechsel. Band 2: Wissenschaftlicher Briefwechsel. Herausgegeben, bearbeitet, eingeleitet und mit Anmerkungen versehen von Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart. (German) Zbl 0341.01019 Hamburg: Felix Meiner Verlag. XXVI, 310 S. DM 140.00 (1976). MSC: 01A75 01A60 03-03 01A25 PDFBibTeX XML
Hermes, Hans Introduction to mathematical logic. Translated from the German by Diana Schmidt. (English) Zbl 0248.02003 Universitext. Berlin-Heidelberg-New York: Springer-Verlag. XI, 242 p. DM 28.00; $ 8.90 (1973). MSC: 03B10 03-01 03-XX PDFBibTeX XML
Ebbinghaus, H.-D.; Jacobs, K.; Mahn, F.-K.; Hermes, H. Turing-Maschinen und rekursive Funktionen. (Машины Тюринга и рекурсивные функции) (Übersetzung aus dem Deutschen von È. G. Belaga.) (Russian) Zbl 0251.00011 Sovremennaya matematika. Populyarnaya seriya. Moskau: Verlag ”Mir”. 264 S. R. 0.89 (1972). MSC: 00B50 03-06 03Dxx PDFBibTeX XML
Hermes, Hans Einführung in die mathematische Logik. Klassische Prädikatenlogik. 3., neubearb. und erweit. Aufl. (German) Zbl 0248.02002 Mathematische Leitfäden. Stuttgart: B. G. Teubner. 206 S. kt. DM 32.00 (1972). MSC: 03B10 03-XX 03-01 PDFBibTeX XML
Hermes, H. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. (German) Zbl 0212.32801 Berlin-Heidelberg-New York: Springer-Verlag X, 246 S. (1971). MSC: 03D20 PDFBibTeX XML
Hermes, H. Term logic with choice operator. Revised and Enlarged Translation of the first German Edition. (English) Zbl 0205.00401 Lecture Notes in Mathematics. 6. Berlin-Heidelberg-New York: Springer-Verlag (ISBN 978-3-540-04899-2/pbk; 978-3-540-36203-6/ebook). 55 p. (1970). MSC: 03B22 03B10 PDFBibTeX XMLCite \textit{H. Hermes}, Term logic with choice operator. Revised and Enlarged Translation of the first German Edition. Berlin-Heidelberg-New York: Springer-Verlag (1970; Zbl 0205.00401) Full Text: DOI
Hermes, Hans Einführung in die mathematische Logik. Klassische Prädikatenlogik. (German) Zbl 0186.00301 Mathematische Leitfäden. Stuttgart: B. G. Teubner, 204 S. (1969). MSC: 03-01 PDFBibTeX XML
Hermes, H. Enumerability. Decidability. Computability. An introduction to the theory of recursive functions. (English) Zbl 0179.01801 Berlin-Heidelberg-New York: Springer-Verlag 1969. XII, 245 p. (1969). PDFBibTeX XML
Hermes, H. Einführung in die Verbandstheorie. 2. erweiterte Aufl. (German) Zbl 0153.33203 Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Bd. 73. Berlin-Heidelberg-New York: Springer-Verlag. XII, 209 S. mit 32 Abb. (1967). PDFBibTeX XML
Hermes, Hans Eine Termlogik mit Auswahloperator. (German) Zbl 0166.25404 Lecture Notes in Mathematics. 6. Berlin-Heidelberg-New York: Springer-Verlag. 42 p. (1965). Reviewer: A. Oberschelp MSC: 03-02 03Bxx 03C80 PDFBibTeX XML Full Text: DOI
Hermes, H. Enumerability. Decidability. Computability. An introduction to the theory of recursive functions. Translated by G.T. Herman and O. Plassman. (English) Zbl 0125.27814 Die Grundlehren der Mathematischen Wissenschaften. 127. Berlin-Heidelberg-New York: Springer-Verlag. X, 245 p. (1965). PDFBibTeX XML
Hermes, H. Einführung in die mathematische Logik. Klassische Prädikatenlogik. (German) Zbl 0115.00503 Mathematische Leitfäden. Stuttgart: B.G. Teubner Verlagsgesellschaft 187 S. (1963). PDFBibTeX XML
Hermes, H. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. (German) Zbl 0119.01301 Die Grundlehren der mathematischen Wissenschaften. 109. Berlin- Göttingen-Heidelberg: Springer-Verlag. X, 246 S., 3 Abb. (1961). PDFBibTeX XML
Behnke, H. (ed.); Fladt, Kuno (ed.); Süss, W. (ed.) [Hermes, H.; Markwald, W.; Pickert, G.; Görke, L.; Gaschütz, W.; Noack, H.; Gericke, H.; Wäsche, H.; Rückert, W.; Gröbner, W.; Lesky, P.; Ostmann, H. H.; Liermann, H.; Haupt, O.; Sengenhorst, P.; Steiner, H. G.; Martens, H.] Grundzüge der Mathematik für Lehrer an Gymnasien sowie für Mathematiker in Industrie und Wirtschaft. Band 1: Grundlagen der Mathematik, Arithmetik und Algebra. (German) Zbl 0084.01203 Göttingen: Vandenhoeck & Ruprecht. xii, 557 S., 55 Abb., 1 Zeittaf. (1958). Reviewer: Hans-Paul Künzi MSC: 00A05 00A06 00A35 PDFBibTeX XML
Hermes, H. Vorlesung über Entscheidungsprobleme in Mathematik und Logik. (German) Zbl 0067.24902 Münster/Westf.: Aschendorffsche Verlagsbuchhandlung, 140 S. (1955). PDFBibTeX XML
Hermes, Hans Einführung in die Verbandstheorie. (German) Zbl 0064.02901 (Die Grundlehren der mathematischen Wissenschaften. Bd. LXXIII.) Berlin- Göttingen-Heidelberg: Springer-Verlag, VIII, 164 S. 24 Abb. (1955). PDFBibTeX XML
Behnke, Heinrich (ed.) [Behnke, Heinrich; Wigand, K.; Rüping, H.; Rau, H.; Westrich, F.; Zimmermann, E.; Kaminski, P.; Stüdemann, H.; Winkelhausen, H.; Wolff, Fr.; Hönig, G. C.; Sternel, E.; Brauer, K. G.; Collatz, L.; Hermes, H.; Peter, H.; Schneider, E.; Cremer, H.; Reutter, F.; Walther, A.; Breidenbach, W.; Ness, W.; Brauer, F. G.; Lohmeyer, H.; Wolff, G.] Der mathematische Unterricht für die sechzehn- bis einundzwanzigjährige Jugend in der Bundesrepublik Deutschland. (German) Zbl 0058.24301 Göttingen: Vandenhoeck & Ruprecht. 332 S. (1954). Reviewer: Hans Paul Künzi MSC: 00A35 PDFBibTeX XML
Behnke, Heinrich (ed.); Lietzmann, Walther (ed.); Süss, Wilhelm (ed.) [Hermes, Hans; Viet, U.; Bieberbach, Ludwig; Lauffer, R.; Athen, Herman; Kreyszig, Erwin; Dijksterhuis, E. J.; Vogel, H. Kurt; Rau, Heinz; Buchner, Paul; Blume, J.] Mathematisch-physikalische Semesterberichte zur Pflege des Zusammenhangs von Schule und Universität. (German) Zbl 0058.24202 Göttingen: Vandenhoeck und Ruprecht. Bd.4, Heft 1/2, 1-159 (1954). PDFBibTeX XML
Hermes, H.; Scholz, H. Mathematische Logik. 2. völlig neubearb. Aufl. (German) Zbl 0047.24801 (Enzyklopädie der mathematischen Wissenschaften. Band I 1, Heft 1, Teil 1), Leipzig: B. G. Teubner Verlagsgesellschaft, 82 S. (1952). PDFBibTeX XML
Hermes, Hans [Röcken, B.; Brakhage, H.] Lineare Transformationen. (Analytische Geometrie II.) Vorlesung. Ausarb. v. B. Röcken und H. Brakhage. (German) Zbl 0041.47311 (Ausarbeitung Mathematischer und Physikalischer Vorlesungen. Als Manuskript gedruckt. III) Münster: Verlag Aschendorff. V, 239 S. (1948). PDFBibTeX XML
Hermes, Hans Röcken, B. (ed.); Brakhage, H. (ed.) Lineare Transformationen. (Analytische Geometrie II.) Vorlesung. (German) Zbl 0041.47305 (Ausarbeitung Mathematischer und Physikalischer Vorlesungen. Als Manuskript gedruckt. Bd. III.) Münster: Verlag Aschendorff. V, 239 S. (1948). PDFBibTeX XML
Hermes, Hans; Köthe, Gottfried Theorie der Verbände. (German) Zbl 0022.19602 Enzyklopädie Math. Wiss. 1, H. 5, 1-28 (1939). PDFBibTeX XML
Hermes, Hans Semiotik. Eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen. (German) Zbl 0020.09702 (Forschung. z. Logik u. z. Grundlegung d. exakt. Wiss. N.F., 5) Leipzig: S. Hirzel. 22 S. (1938). PDFBibTeX XML
Hermes, Hans Eine Axiomatisierung der allgemeinen Mechanik. (German) Zbl 0019.09804 (Forsch. z. Logik u. z. Grundlegung d. exakt. Wiss. N. F. 3) Leipzig: S. Hirzel. 48 S. (1938). PDFBibTeX XML
Hermes, H. Eine Axiomatisierung der allgemeinen Mechanik. (German) JFM 64.0032.02 Forsch. Logik Grundl. exakt. Wiss. (2) 3, 48 S. (1938). Reviewer: Ackermann, W., Dr. (Burgsteinfurt) PDFBibTeX XML
Hermes, Hans; Scholz, Heinrich Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls. (German) Zbl 0016.00101 (Forsch. z. Logik u. z. Grundlegung d. exakten Wiss. N. F., 1) Deutsche Math. 1, 733-772 (1936); Leipzig: S. Hirzel. 40 S. (1937). PDFBibTeX XML