Sara Negri

Identifiers

Open LibraryOL2768929A

Top Subjects

Mathematics (1)
Probability & Statistics - General (1)
Proof theory (1)
Philosophy Of Mathematics (1)
Philosophy (1)
Logic (1)
Science/Mathematics (1)

Books by Sara Negri

Total count: 4

Structural Proof Theory

Cambridge University Press2001-06-18
Proof AnalysisA Contribution to Hilbert's Last Problem

Cambridge University Press2011-01-01
Mathesis Universalis, Computability and Proof

Springer2019-10-26
Automated Reasoning with Analytic Tableaux and Related Methods30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings

Springer International Publishing AG2021-01-01