Tableau Methods for Propositional Logic and Term Logic
-
- US$67.99
-
- US$67.99
출판사 설명
The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.
장르
논픽션
출시일
2021년
6월 23일
언어
EN
영어
길이
228
페이지
출판사
Peter Lang
판매자
Ingram DV LLC
크기
8.5
MB