Basic Proof Theory Cambridge Tracts in Theoretical Computer Science, nr. 43 Autor A. S. Troelstra et al. 26 iul 2000 Paperback Preț: 339.23 lei 424.03 lei 6-8 săpt. -20%