/LC.GIF&client=easterncarolinaedu)
Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings / J.P. Myers, Jr., M.J. O'Donnell, eds.
| Other author | Myers, J. P. (J. Paul), 1946- |
| Other author | O'Donnell, Michael J., 1952- |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1992. |
| Description | x, 246 pages : illustrations ; 25 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 613 Lecture notes in computer science 613. ^A466336 |
| General note | Contains papers presented at the Symposium on Constructivity in Computer Science held in San Antonio, Tex., June 19-22, 1991, sponsored by Trinity University, the University of Chicago, and the Association for Symbolic Logic. |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 92019519 |
| ISBN | 3540556311 (Berlin : acid-free paper) |
| ISBN | 0387556311 (New York : acid-free paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.9.M35 C655 1992 | ✔ Available | Place Hold |