Tableau Methods for Propositional Logic and Term Logic
Автор:
Jan Hartman, Tomasz Jarmuzek
Наличност:
Външен склад
Изпращаме след 10-18 дни
67.15
€
131.33 лв
The book aims to formalise tableau methods for the logics of propositions and names. The methods des...
