Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings Lecture Notes in Computer Science, nr. 7734 Editat de Sergei Artemov et al. 21 noi 2012 Paperback Preț: 338.81 lei 423.52 lei 6-8 săpt. -20%
Justification Logic: Reasoning with Reasons Cambridge Tracts in Mathematics, nr. 216 Autor Sergei Artemov et al. mai 2019 Hardback Preț: 791.14 lei 919.94 lei 6-8 săpt. -14%