Login / Signup

Algebraic aspects of deduction theorems.

Janusz Czelakowski
Published in: Stud Logica (1985)
Keyphrases
  • inference rules
  • special case
  • theorem proving
  • main aspects