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
Bok Språk ikke angitt 1990
| Utgitt | Berlin : Springer , c1990
|
|---|---|
| Omfang | 162 s. : fig.
|
| Emner | |
| ISBN | 0387527346. - 3540527346
|
