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 43-49 zile -32%
Modern Perspectives in Type-Theoretical Semantics Studies in Linguistics and Philosophy, nr. 98 Editat de Stergios Chatzikyriakidis et al. 13 feb 2017 Hardback Preț: 642.73 lei 845.70 lei 38-44 zile -24%