Hilbert system
Sign in to saveAlso known as Hilbert calculus, Hilbert-style deductive system, Hilbert–Ackermann system
system of formal deduction in logic
Also known as Hilbert calculus, Hilbert-style deductive system, Hilbert–Ackermann system
system of formal deduction in logic