Tableau Methods for Propositional Logic and Term Logic
Szerző:
Jan Hartman, Tomasz Jarmuzek
Elérhetőség:
Beszállítói készleten
Küldés 10-18 napon belül
23 770
Ft
The book aims to formalise tableau methods for the logics of propositions and names. The methods des...
