Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings Lecture Notes in Computer Science, nr. 533 Editat de Egon Börger et al. 11 sep 1991 Paperback Preț: 380.25 lei 6-8 săpt.