First-order resolution calculus, resolution strategies. Method of
tableaux. Proof theory. The principle of the natural deduction. Unifying logic.
Multi-valued logic.
1998-05-25 11:39:43 MET DST
This page is maintained by the webmaster.
You are the # visitor of this page.