Systems of Deduction (Chapter 1:2)

Editor(s):
Gabbay D., Guenthner F.