Research Catalog
Logical methods : in honor of Anil Nerode's sixtieth birthday
- Title
- Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.], editors.
- Publication
- Boston : Birkhäuser, 1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person. | --- | Text | Use in library | JFE 94-8342 --- | Schwarzman Building - Main Reading Room 315 |
Details
- Additional Authors
- Description
- 813 p. : ill.; 24 cm.
- Series Statement
- Progress in computer science and applied logic ; v. 12
- Subjects
- Note
- Includes papers presented at a conference held at the Mathematical Sciences Institute, Cornell University, June 1-3, 1992.
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JFE 94-8342
- ISBN
- 0817636900
- LCCN
- 93021451
- OCLC
- 28929588
- NYPG94-B26057
- Title
- Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.], editors.
- Imprint
- Boston : Birkhäuser, 1993.
- Series
- Progress in computer science and applied logic ; v. 12
- Bibliography
- Includes bibliographical references.
- Added Author
- Nerode, Anil, 1932-Crossley, John N.
- Research Call Number
- JFE 94-8342