Showing 1–1 of 1 editor-approved links.
Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods.