The Clausal Theory of Types Cambridge Tracts in Theoretical Computer Science, nr. 21 Autor D. A. Wolfram 29 iul 2009 Paperback Preț: 190.70 lei 238.37 lei 43-57 zile -20%