Logic and Computer Science
Subtitle: Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo  Held at Montecatini Terme, Italy, June 20-28 1988
Publisher: Springer
Published: 2006
Language: eng
ISBN-13: 9783540471356