Logic, Algebra, and Computation: International Summer School NATO ASI Subseries F:, nr. 79 F. L. Bauer et al. 16 ian 2012 Paperback Preț: 659.17 lei 823.97 lei 6-8 săpt. -20%
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%