Logic and computer science. Lectures given at the first session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988.
- Springer Verlag, 1990.
- (
Lecture Notes in Mathematics
; 1429).
Cote: 11745. En rayon: classement par collection. Exclu du prêt.