Proceedings
third annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland ; sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing.
Washington, D.C. : Computer Society Press, ©1988.
xi, 436 págs. ; 28 cm.
ISBN: 0818608536
Incluye referencias bibliográficas.