Tableau Methods for Propositional Logic and Term Logic
Jarmu?ek, Tomasz
Lieferbar in ca. 5 Arbeitstagen
On the Sea Battle Tomorrow That May Not Happen