Tableau Methods for Propositional Logic and Term Logic
Autor:
Jan Hartman, Tomasz Jarmuzek
Dostupnost:
Skladem u dodavatele
Odesíláme za 10-18 dnů
1 451
Kč
The book aims to formalise tableau methods for the logics of propositions and names. The methods des...
