000 00422nam a2200145Ia 4500
008 191124s2012||||xx |||||||||||||| ||und||
020 _a9781461442646
082 _a511.3
_bIn
100 _aGerstein, Larry J.
245 0 _aIntroduction to mathematical structures and proofs/
_cby Larry J. Gerstein
260 _aLondon:
_bSpringer,
_c2012
300 _a401p.
650 _aLogic, Symbolic and mathematical
942 _cBK
999 _c400430
_d400430