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ț: 535.62 lei 790.39 lei 43-48 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ț: 644.36 lei 847.84 lei 39-44 zile -24%