Tomasz Jarmuzek

2 Bücher

Tableau Methods for Propositional Logic and Term Logic
On the Sea Battle Tomorrow That May Not Happen