Pogorzelski, Witold A.
Completeness Theory for Propositional Logics
Table of contents
1. Basic notions
2. Semantic methods in propositional logic
3. Completeness of propositional logics
4. Characterizations of propositional connectives
DRM-restrictions
Printing: not available
Clipboard copying: not available
Nyckelord: MATHEMATICS / General MAT000000
- Författare
- Pogorzelski, Witold A.
- Wojtylak, Piotr
- Utgivare
- Springer
- Utgivningsår
- 2008
- Språk
- en
- Utgåva
- 1
- Kategori
- Naturvetenskaper
- Format
- E-bok
- eISBN (PDF)
- 9783764385187