International Conference on Logic, Informatics, Law (1981 Florence)