00378nam a2200133Ia 4500003000400000008004100004020002700045040000800072100001900080245007100099260004800170300001400218365001200232LDD181029s9999    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