| name | mediatype | date | Author | Language | type | Narrative location | Title |
|---|---|---|---|---|---|---|---|
| Definite terms and predictable numbers | 1937 | Hans Hermes | |||||
| An axiomatization of general mechanics | 1938 | Hans Hermes | |||||
| Machines for decision of mathematical problems | 1952 | Hans Hermes | |||||
| The universality of program-controlled computing machines | 1954 | Hans Hermes | |||||
| Introduction to lattice theory | 1955 | Hans Hermes |