Computation and Reasoning: A Type Theory for Computer Science International Series of Monographs on Computer Science, nr. 11 Autor Zhaohui Luo 31 mar 1994 Hardback Preț: 537.88 lei 792.12 lei 44-50 zile -32%
