Logic from computer science
Subtitle: proceedings of a workshop held November 13-17, 1989
By: Y.N. Moschovakis, editor.
Contributors: Moschovakis, Yiannis N.
Series: Mathematical Sciences Research Institute publications ;; v. 21; Mathematical Sciences Research Institute publications ;; 21.
Publisher: Springer-Verlag; Springer
Published: 1991
Place of publication: New York
Language: eng
Number of pages: 608
Subjects: Logic, Symbolic and mathematical -- Congresses.; Computer science -- Congresses.
Notes: Includes bibliographical references.