A selection of papers presented at the international conference 'Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term 'applied logic' has a very wide meaning, as... This description may be from another edition of this product.