Proof Analysis Autor Sara Negri et al. 29 sep 2011 Hardback Preț: 687.56 lei 799.48 lei 6-8 săpt. -14%
Proof Analysis: A Contribution to Hilbert's Last Problem Autor Sara Negri et al. 11 iun 2014 Paperback Preț: 343.06 lei 6-8 săpt.
Advances in Modal Logic, Volume 13 Editat de Sara Negri et al. 19 iul 2020 Paperback Preț: 182.60 lei 6-8 săpt.
Mathesis Universalis, Computability and Proof Editat de Stefania Centrone et al. 6 noi 2020 Paperback Preț: 704.06 lei 858.61 lei 6-8 săpt. -18%
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings Lecture Notes in Computer Science, nr. 12842 Editat de Anupam Das et al. sep 2021 Paperback Preț: 328.79 lei 410.99 lei 6-8 săpt. -20%