by David Hilbert
work by David Hilbert, Stefan Cohn-Vossen; transl. by Paul Nemenyi
two-volume work by David Hilbert and Paul Bernays
formal system
twenty-three problems in mathematics published in 1900
David Hilbert's speech in 1928
book by David Hilbert
book by Wilhelm Ackermann
view that statements of logic can be considered to be statements about the consequences of certain string manipulation rules
Paulina is supported by:
About Paulina