1.
2.
Proof Analysis: A Contribution to Hilbert's Last Problem
by Negri, Sara, von Plato, Jan
ISBN: 9781107008953
List Price: $90.00
3.
4.
Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conferen...
by Das, Anupam, Negri, Sara
ISBN: 9783030860585
5.
Advances in Modal Logic, Volume 13
by Olivetti, Nicola, Verbrugge...
ISBN: 9781848903418
List Price: $22.25
6.
7.
Investigations into the Predicate Calculus
by Ketonen, Oiva, Negri, Sara,...
ISBN: 9781848904071
List Price: $14.50
8.
Mathesis Universalis, Computability and Proof
by Centrone, Stefania, Negri, ...
ISBN: 9783030204464
List Price: $119.99