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