Mathesis Universalis, Computability and Proof Editat de Stefania Centrone et al. 6 noi 2020 Paperback Preț: 706.78 lei 861.93 lei 43-57 zile -18%
Proof Analysis Autor Sara Negri et al. 29 sep 2011 Hardback Preț: 690.21 lei 802.57 lei 43-57 zile -14%
Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science, nr. 12842 Editat de Anupam Das et al. sep 2021 Paperback Preț: 331.80 lei 414.75 lei 43-57 zile -20%
Advances in Modal Logic, Volume 13 Editat de Sara Negri et al. 19 iul 2020 Paperback Preț: 182.60 lei 43-57 zile