Computational Logic Editat de Dov M. Gabbay et al. 28 noi 2014 Hardback Preț: 1162.16 lei 1277.10 lei 5-7 săpt. -9%
8th International Conference on Automated Deduction Editat de Jörg H. Siekmann iul 1986 Paperback Preț: 401.53 lei 6-8 săpt.