Logic from computer science : proceedings of a workshop held November 13-17, 1989
- Title
- Logic from computer science : proceedings of a workshop held November 13-17, 1989 / Y.N. Moschovakis, editor.
- Published by
- New York : Springer-Verlag, c1992.
Items in the library and off-site
Displaying 1 item
Status | Format | Access | Call number | Item location |
---|---|---|---|---|
Status | FormatBook/Text | AccessRequest in advance | Call numberJSE 92-752 | Item locationOffsite |
Details
- Additional authors
- Description
- xi, 608 p. : ill.; 25 cm.
- Series statement
- Mathematical Sciences Research Institute publications ; . 21
- Subject
- Call number
- JSE 92-752
- Bibliography (note)
- Includes bibliographical references.
- Title
- Logic from computer science : proceedings of a workshop held November 13-17, 1989 / Y.N. Moschovakis, editor.
- Imprint
- New York : Springer-Verlag, c1992.
- Series
- Mathematical Sciences Research Institute publications ; . 21
- Bibliography
- Includes bibliographical references.
- Added author
- Moschovakis, Yiannis N.
- Mathematical Sciences Research Institute (Berkeley, Calif.)
- LCCN
- 91028180
- ISBN
- 0387976671 (alk. paper)
- Research call number
- JSE 92-752