Tableau Methods for Propositional Logic and Term Logic
Autor:
Jan Hartman, Tomasz Jarmuzek
Disponibilitate:
În depozitul extern
Expediem în 10-18 zile
332.38
lei
The book aims to formalise tableau methods for the logics of propositions and names. The methods des...
