000 00631nam a2200193Ia 4500
005 20260120132234.0
008 008 260114s9999 xx 000 0 eng d
020 _a9781383019841
037 _aEBOOK
040 _aCRL
_beng
_cCRL
041 _aeng
_2eng
084 _qCRL
100 _aCori
_9936617
245 0 _aMathematical Logic: A Course With Exercises: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
260 _bOxford University PressOxford University Press
_c2023
856 _uhttps://academic.oup.com/book/54956
942 _cEBOOK
999 _c1528540
_d1528540