12306
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
Berlin
Springer-Verlag
c1990
162p. : ill
Lecture notes in mathematics; 9241
Includes bibliographical references
S. Homer...]et al.[; editor, P. Odifreddi
Congresses ، Logic, Symbolic and mathematical
Congresses ، Programming )Mathematics(
Congresses ، Computational complexity
QA
3
.
L28
no
.
1429
TI
AU Homer, Steven
AU Odifreddi, Piergiorgio 1950-
CO Centro internazionale matematico estivo
SE
CL
