000 00690nmm a2200217Ia 4500
008 140908s9999 xx 000 0 und d
020 _a9783764385187, 978-3-7643-8518-7
040 _aNISER LIBRARY
041 _aEnglish
082 _a511.3,
_b23
245 _aCompleteness Theory for Propositional Logics
260 _aBasel
_bBirkhäuser Basel
_c2008.
500 _aMathematics and Statistics (Springer-11649)
650 _aLogic, Symbolic and mathematical
650 _aMathematical Logic and Foundations
650 _aMathematics
650 _aMathematics
700 _aPogorzelski, Witold A., author.
856 _uhttp://dx.doi.org/10.1007/978-3-7643-8518-7
942 _cEB
999 _c14534
_d14534