Hans Hermes

From MaRDI portal
Person:767735

Available identifiers

zbMath Open hermes.hansDBLP89/9069WikidataQ1425952 ScholiaQ1425952MaRDI QIDQ767735

List of research outcomes





PublicationDate of PublicationType
Zahlen1993-01-23Paper
https://portal.mardi4nfdi.de/entity/Q40031791992-09-18Paper
https://portal.mardi4nfdi.de/entity/Q40013181992-09-18Paper
https://portal.mardi4nfdi.de/entity/Q39988101992-09-17Paper
https://portal.mardi4nfdi.de/entity/Q39988491992-09-17Paper
https://portal.mardi4nfdi.de/entity/Q33311641983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41635161978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41632041978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41497501977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41689041977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30488221976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41151241976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41339651976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41409621976-01-01Paper
Introduction to mathematical logic. Translated from the German by Diana Schmidt1973-01-01Paper
Die Unlösbarkeit des zehnten Hilbertschen Problems1972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56637641972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56618241972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56684651972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56139391971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56251421971-01-01Paper
Term logic with choice operator. Revised and Enlarged Translation of the first German Edition1970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56411341970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55694451969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55794721969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55702131969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56139441969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55770371968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55342591967-01-01Paper
In memoriam Wilhelm Ackermann (1896--1962)1967-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56580751967-01-01Paper
Zur Geschichte der mathematischen Logik und Grundlagenforschung in den letzten fünfundsiebzig Jahren1966-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55862111966-01-01Paper
https://portal.mardi4nfdi.de/entity/Q53306381965-01-01Paper
Eine Termlogik mit Auswahloperator1965-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56146551965-01-01Paper
https://portal.mardi4nfdi.de/entity/Q53322161964-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57231771963-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38498671963-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57307921963-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55991221962-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57301291961-01-01Paper
https://portal.mardi4nfdi.de/entity/Q53295211961-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32571181959-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32601931959-01-01Paper
ZUM EINFACHHEITSPRINZIP IN DER WAHRSCHEINLICHKEITSRECHNUNG1958-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32849791958-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32581471957-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32605461957-01-01Paper
Über die gegenwärtige Lage der mathematischen Logik und Grundlagenforschung1956-01-01Paper
Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln1956-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32285981955-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58472491955-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58173851953-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58091431952-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58131771952-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58132721952-01-01Paper
Zum Begriff der Axiomatisierbarkeit. Herrn Professor Dr. Erhard Schmidt zum 75. Geburtstage als ein Symbol der Verehrung und Dankbarkeit der Sechule von Münster1951-01-01Paper
Zur Theorie der aussagenlogischen Matrizen1951-01-01Paper
Über analytische Automorphismen des \(\mathbb{R}_{2n}\)1950-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57967351949-01-01Paper
Analytische Mannigfaltigkeiten in Riemannschen Bereichen1949-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58026321948-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58026381948-01-01Paper
Die Theorie der Verbände.1939-01-01Paper
Über eine mathematische Theorie der Spiele.1939-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57757581939-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57702261938-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57717751938-01-01Paper
Eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen.1938-01-01Paper
Eine Axiomatisierung der allgemeinen Mechanik.1938-01-01Paper
Über die Unmöglichkeit der Dreiteilung des Winkels.1938-01-01Paper
Definite Begriffe und berechenbare Zahlen.1937-01-01Paper
Ein Axiomensystem für die Syntax des (klassischen) Logikkalküls.1937-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57651131937-01-01Paper
Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.1936-01-01Paper
Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.1936-01-01Paper

Research outcomes over time

This page was built for person: Hans Hermes