000 00527pam a2200181a 44500
008 160408b2013 xxu||||| |||| 00| 0 eng d
020 _a9781447145578
040 _aP K Kelkar Library, IIT Kanpur
082 _a511.3
_bD156l5
100 _aDalen, Dirk Van
245 0 _aLogic and structure
_cDirk van Dalen
250 _a5th
260 _aLondon
_bSpringer
_c2013
300 _ax, 263p
440 _aUniversitext / Edited By Sheldon Axler
_v
650 _aLogic, Symbolic and mathematical
997 _aA179139 C
999 _c375059
_d375059