LC CutterNumber :
.L28,no.
Title :
Logic and computer science
Author Statement :
S. Homer ... [et al.]
Publication :
Springer-Verlag
Collation :
162 p.: ill.; 25 cm
Series :
Lecture notes in mathematics ; 1429
Subject :
Logic, Symbolic and mathematical- Congresses,Programming (Mathematics)- Congresses
ADDED ENTRIES :
Homer, S. (Steven)
Holding Info. :
3540527346
SubTitle :
: 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
Editor :
editor, P. odifreddi
Biblography :
Includes bibliographical references
