Basic Proof Theory Cambridge Tracts in Theoretical Computer Science, nr. 43 Autor A. S. Troelstra et al. 26 iul 2000 Paperback Preț: 338.97 lei 423.72 lei 3-5 săpt. | 7-13 zile -20%