science · 30 November 1927 · 97 years ago
David Hilbert and Wilhelm Ackermann publish Grundzüge der theoretischen Logik, a pioneering elementary text in first-order logic stating the Entscheidungsproblem.