---

＜Books＞
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
(Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze)

Publisher	Berlin ; Tokyo : Springer-Verlag
Year	c1990
Language	English
Size	162 p. : ill. ; 25 cm
Authors	Homer, S. (Steven) Odifreddi, Piergiorgio, 1950- Centro internazionale matematico estivo. Session C.I.M.E. Meeting on Logic and Computer Science (1988 : Montecatini Terme, Italy)
Subjects	LCSH:Logic, Symbolic and mathematical -- Congresses  All Subject Search LCSH:Programming (Mathematics) -- Congresses  All Subject Search LCSH:Computational complexity -- Congresses  All Subject Search
Notes	"C.I.M.E. Meeting on Logic and Computer Science" -- Pref Includes bibliographical references

 Similar Items