Proceedings, Symposium on Logic in Computer Science
Subtitle: Ithaca, New York, June 22-25, 1987.
Publisher: Computer Society Press
Published: 1987
Place of publication: Washington, D.C
Language: eng
Format: Microform
Number of pages: 361
Subjects: Algebraic logic.
Notes: IEEE catalog no. 87CM2464-6.

"Sponsored by the Computer Society of the IEEE Technical Committee on Mathematical Foundations of Computing ... "

Includes bibliographies and index.

Microfiche. 4 microfiches ; 11 x 15 cm.