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
Keywords: MATHEMATICS / General MAT000000
- Author(s)
- Pogorzelski, Witold A.
- Wojtylak, Piotr
- Publisher
- Springer
- Publication year
- 2008
- Language
- en
- Edition
- 1
- Category
- Natural Sciences
- Format
- Ebook
- eISBN (PDF)
- 9783764385187
