00464nam a2200145Ia 4500008004100000020002100041050002000062245002400082250006500106300004400171500002000215650003800235700003000273999001500303151015s9999    xx            000 0 und d  a9.780521676e+012  aQA 9 .V38 2006   aVelleman Daniel J.   a_How To Prove It A Structured Approach / Daniel J. Velleman   aNew York : Cambridge University , 2006   aIncludes index   a_Logic Symbolic and mathematical   a^d20120112 12:10:41^oanne  c3060d3060