Zur Geschichte der mathematischen Logik und Grundlagenforschung in den letzten fünfundsiebzig Jahren. Hans Hermes — 1966 Jahresbericht der Deutschen Mathematiker-Vereinigung
Über die gegenwärtige Lage der mathematischen Logik und Grundlagenforschung. Hans Hermes — 1957 Jahresbericht der Deutschen Mathematiker-Vereinigung
Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. Hans Hermes; Heinz Gumin Archiv für mathematische Logik und Grundlagenforschung