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.
- Published by
- Boston : Birkhäuser, 1993.
Items in the library and off-site
Displaying 1 item
Status | Vol/date | Format | Access | Call number | Item location |
---|---|---|---|---|---|
Status Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person. | Vol/date--- | FormatText | AccessUse in library | Call numberJFE 94-8342 --- | Item locationSchwarzman 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
- Subject
- Call number
- JFE 94-8342
- Note
- Includes papers presented at a conference held at the Mathematical Sciences Institute, Cornell University, June 1-3, 1992.
- Bibliography (note)
- Includes bibliographical references.
- 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.
- LCCN
- 93021451
- ISBN
- 0817636900
- Research call number
- JFE 94-8342