| Shelfclass_id | 4.B.1 |
| Sortkey | HOMER, STEVEN |
| Authors | Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi |
| Title | Logic and Computer Science: Lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 |
| Publisher | Springer-Verlag |
| Year | c1990 |
| Languages | eng |
| Isbn | 0387527346, 3540527346 |
| Series | Lecture notes in mathematics |
| Volume | 1429 |
| Issn | 0075-8434 |
| Description | 162 p. ill. 25 cm. |
| Record date | 20091126 |
| Location | New York |
| Keywords | Logic, Symbolic and mathematical, Programming (Mathematics), Computational complexity |
| Urlnote | Publisher description |
| Urls | http://www.loc.gov/catdir/enhancements/fy0901/90039676-d.html |