000 00952nmm a22002895u 4500
999 _c15031
_d15031
005 20201127140913.0
008 100301s2008 xx j eng d
020 _a9783764385187
050 0 4 _aQA9.67
_bP64 2008
100 1 _aPogorzelski, Witold A.
245 1 0 _aCompleteness Theory for Propositional Logics
_h[electronic resource] /
_cby Witold A. Pogorzelski, Piotr Wojtylak.
250 _a1a ed.
260 _aBasel :
_bBirkhäuser Verlag AG,
_c2008.
300 _bv.: digital
440 0 _aStudies in Universal Logic
650 0 _aMathematics
650 0 _aLogic, Symbolic and mathematical
650 1 4 _aMathematics
650 2 4 _aMathematical Logic and Foundations
700 1 _aWojtylak, Piotr.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-7643-8518-7
942 _2lcc
_cLIE