000 00610nam a2200217Ia 4500
003 OSt
005 20160914144519.0
008 130919s9999 xx 000 0 und d
020 _a9780387762753
040 _aIISER Bhopal
_cLBD
082 0 0 _a511.3 SR38C
100 1 _aSrivastava, S. M.
_92565
222 _aMathematics Collection
245 1 2 _acourse on mathematical logic
_cS. M. Srivastava.
260 _aNew York :
_bSpringer,
_c2008.
300 _ax, 140 p.
650 0 _aLogic
_xSymbolic and mathematical.
_914110
650 0 _aComputer science.
_914111
650 0 _aAlgebra.
_914112
942 _cREF
_2ddc
999 _c760
_d760