000 01539nam a22003975a 4500
005 20251203171146.0
006 m q d
007 cr nn 008maaau
008 090205s2007 nyu q j eng d
020 _a9780387692456 (electronic bk.)
020 _a9780387692449 (paper)
035 _a(Springer)978-0-387-69244-9
039 9 _y02-05-2009
_zmuhaimin
090 _aQA9
_b.M426 2007
245 0 0 _aMathematical problems from applied logic II
_h[electronic resource] /
_cedited by Dov M. Gabbay, S. S Goncharov, Michael Zakharyaschev.
246 3 0 _aLogics for the XXIst century
260 _aNew York, NY :
_bSpringer Science+Business Media, LLC,
_c2007.
300 _axxix, 351 p. :
_bill., digital ;
_c25 cm.
440 0 _aInternational mathematical series ;
_v5
504 _aIncludes bibliographical references and index.
650 0 _aLogic, Symbolic and mathematical.
650 1 4 _aMathematics.
650 2 4 _aMathematical Logic and Foundations.
700 1 _aGabbay, Dov M.,
_d1945-
_955898
700 1 _aGoncharov, S. S.
700 1 _aZakharyaschev, Michael.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer e-books
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-0-387-69245-6
907 _a.b14395320
_b2021-06-25
_c2019-11-12
914 _avtls003398518
942 _n0
_kQA9 .M426 2007
_2lcc
998 _ae0001
_b2009-05-02
_cm
_da
_feng
_gnyu
999 _c434266
_d434266