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ț: 586.15 lei 817.58 lei 44-50 zile -28%
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 38-44 zile -24%