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