Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Providence, R.I. :
American Mathematical Society,
c1990.
|
| Series: | Contemporary mathematics (American Mathematical Society) ;
v. 106. |
| Subjects: |
| Item Description: | "The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso. |
|---|---|
| Physical Description: | xiv, 297 p. : ill. ; 25 cm. |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 0821851101 (alk. paper) |
| ISSN: | 0271-4132 ; |