| nombre | tipo de medio | fecha | Autor | Idioma | tipo | Ubicación narrativa | Título |
|---|---|---|---|---|---|---|---|
| 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 |