00673nam a2200205Ia 4500003000400000008004100004020002700045040000800072100001900080245007100099260004800170300001400218365001200232901002100244902003300265903004000298942001200338952010000350999001700450LDD181029s9999    xx            000 0 und d  a9780521899574cP 75.00  cLDD  aHarrison, John 0aHandbook of practical logic and automated reasoningcJohn Harrison  aCambridgebCambridge University Pressc2009  axi, 681p.  bP 75.00  a6234b15-09-2010  a3653b23-11-2010cFdPUJAe4  aDiscount-15bReqst by : Manohar Lal  2ddccBK  00102ddc4070993226aLDDbLDDl0o006.333 H245Hp076561r2018-11-01v5441.25w2018-11-01yBK  c93227d93227