00351nam a2200145Ia 4500008004100000020002200041100002900063245003000092250000800122260001500130260003100145260000900176300000900185650001100194221231s9999    xx            000 0 und d  a978-0-521-67089-0  aHuth Michael & Mark Ryan 0aLogic in Computer Science  a2nd  aSouth Asia  bCambridge University Press  c2011  a427P  aM.TECH