Text this: Edited versions of selected papers from the International Conference on "Logic, Informatics, Law," Florence, Italy, April 1981