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
Piergiorgio Odifreddi, S.(Steven) Homer, ほか
- 出版社
- Springer-Verlag
- 発売日
- 1990-01-01
- ISBN
- 9780387527345