Events Tagged: "Entscheidungsproblem"

1 events with tag "Entscheidungsproblem"

1928 ID: 394
Hilbert and Ackermann publish 'Grundzüge der theoretischen Logik', first modern textbook on mathematical logic
ID: 394