The Atlantic connection: a history of the Atlantic world, 1450-1900 2015 · ENGLISH · PDF View details →
Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe. 1959 · GERMAN · PDF View details →
