A selection of papers presented at the international conference `Applied Logic: Logic at Work', held in Amsterdam in December 1992. …
