Completeness theory for propositional logics [electronic resource] / Witold A. Pogorzelski, Piotr Wojtylak.
Material type:
TextSeries: Studies in universal logicPublication details: Basel ; Boston : Birkhäuser, c2008.Description: viii, 178 p. : illSubject(s): Genre/Form: DDC classification: - 511.3 22
- QA9.67 .P64 2008
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Ebook | TUS: Midlands, Main Library Athlone Online | eBook (Browse shelf(Opens below)) | Available |
Includes bibliographical references (p. [165]-174) and indexes.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.