- Additional Authors
- Description
- 162 p.; 25 cm.
- Series Statement
- Lecure notes in mathematics ; 1429
- Uniform Title
- Lecture notes in mathematics (Springer-Verlag) ; 1429
- Subject
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSF 90-763
- ISBN
- 3540527346 (Berlin)
- 9783540527343 (Berlin)
- 0387527346 (New York)
- 9780387527345 (New York)
- LCCN
- 90039676
- OCLC
- 140735658
- Title
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 / S. Homer ... [et al.] ; editor, P. Odifreddi.
- Imprint
Berlin ; New York : Springer-Verlag, c1990.
- Series
Lecure notes in mathematics ; 1429
Lecture notes in mathematics (Springer-Verlag) ; 1429
- Bibliography
Includes bibliographical references.
- Added Author
Homer, S. (Steven)
Odifreddi, Piergiorgio, 1950-
Centro internazionale matematico estivo.
- Research Call Number
JSF 90-763