00335nam a2200133Ia 4500003000400000008004100004020002300045040000800068100001800076245006000094260002400154300001100178365001200189LDD181029s9999    xx            000 0 und d  a631215417c129.95  cLDD  aPortner, Paul 0aFormal semanticsbthe essential readings.cPaul Portner  aUKbBlackwellc2002  ax, 486  b129.95