Tableau Methods for Propositional Logic and Term Logic
Autor:
Jan Hartman, Tomasz Jarmuzek
Dostępność:
Dostępna u dostawcy
Wysyłamy za 10-18 dni
254.81
zł
The book aims to formalise tableau methods for the logics of propositions and names. The methods des...
