Hilbert and Ackermann’s "Grundzüge der theoretischen Logik"
E208853
UNEXPLORED
Hilbert and Ackermann’s "Grundzüge der theoretischen Logik" is a foundational early 20th-century textbook that systematically developed first-order logic and helped establish mathematical logic as a rigorous formal discipline.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Hilbert’s program
→
|
notableWork |