Login / Signup
Algebraic aspects of deduction theorems.
Janusz Czelakowski
Published in:
Stud Logica (1985)
Keyphrases
</>
inference rules
special case
theorem proving
main aspects