00374nam a2200133Ia 4500003000400000008004100004020002700045040000800072100002300080245008100103260003000184300001400214365001200228LDD181029s9999    xx            000 0 und d  a9780415997454cP 44.99  cLDD  aNat, Arnold Vander 0aSimple formal logic with common-sense symbolic techniquescArnold Vander Nat  aNew YorkbRoutledgec2010  axi, 347p.  bP 44.99