Proceedings
fourth annual Symposium on Logic in Computer Science.
Washington, D.C. : IEEE Computer Society Press, ©1989.
xvi, 402 págs. ; 28 cm.
ISBN: 0818619546
"June 5-8, 1989, Asilomar Conference Center, Pacific Grove, California"—Cubierta.
"Sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing"—Cubierta.
Incluye referencias bibliográficas.