Tomasz Jarmuzek
Peter Lang AG
e druk, 2021
9783631833728
Tableau Methods for Propositional Logic and Term Logic
Specificaties
Gebonden, 228 blz.
|
EN
Peter Lang AG |
e druk, 2021
ISBN13: 9783631833728
Rubricering
Juridisch
:
Onderdeel van serie
Studies in Philosophy, History of Ideas and Modern Societies
Verwachte levertijd ongeveer 16 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9783631833728
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:228
Uitgever:Peter Lang AG
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht