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 numerous applications of logical methods in computer science, formal linguistics and other fiel...
Full description