Login / Signup
On Natural Deduction.
Willard Van Orman Quine
Published in:
J. Symb. Log. (1950)
Keyphrases
</>
natural deduction
theorem prover
inference rules
cut elimination
theorem proving
intuitionistic logic
sequent calculus
pairwise
active learning