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 /
Material type: TextSeries: Lecture notes in mathematics (Springer-Verlag) ; 1429Publication details: Berlin New York Springer-Verlag c1990Description: 162 p. illISBN: 0387527346Subject(s): Logic, Symbolic and mathematical | Programming (Mathematics) | Computational complexity | MathematicsOnline resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 51 LNM (Browse shelf (Opens below)) | Available | 34945 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
Includes bibliographical references.
There are no comments on this title.