Research Catalog

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.
Publication
New York : Springer-Verlag, c1992.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 92-752Offsite

Details

Additional Authors
  • Moschovakis, Yiannis N.
  • Mathematical Sciences Research Institute (Berkeley, Calif.)
Description
xi, 608 p. : ill.; 25 cm.
Series Statement
Mathematical Sciences Research Institute publications ; . 21
Subject
  • Logic, Symbolic and mathematical > Congresses
  • Computer science > Congresses
Bibliography (note)
  • Includes bibliographical references.
Call Number
JSE 92-752
ISBN
0387976671 (alk. paper)
LCCN
91028180
OCLC
  • 24247843
  • NYPG92-B40337
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.)
Research Call Number
JSE 92-752
View in Legacy Catalog