| Shelfclass_id | 3.F.2 |
| Sortkey | CONSTRUCTIVITY |
| Authors | J. Paul Myers, Michael J. O'Donnell |
| Title | Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991, Proceedings |
| Publisher | Springer-Verlag |
| Year | c1992 |
| Languages | eng |
| Isbn | 3540556311 |
| Series | Lecture Notes in Computer Science |
| Volume | 613 |
| Issn | 0302-9743 |
| Description | x, 246 p. ill. 25 cm. |
| Record date | 20090911 |
| Location | New York |
| Keywords | Computer science |
| Notes | 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. |
| Urlnote | Publisher description |
| Urls | http://www.loc.gov/catdir/enhancements/fy0815/92019519-d.html |