STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Sara Negri | lit.salon
Sara Negri
No bio available.
Add one in Open Library.
Books by Sara Negri (50 max)
+ shelf
+ list
Proof Analysis A Contribution to Hilbert's Last Problem
2011
Sara Negri, Jan von Plato
+ shelf
+ list
Structural Proof Theory
2001
Sara Negri
+ shelf
+ list
Mathesis Universalis, Computability and Proof
2019
Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster
+ shelf
+ list
Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
2021
Anupam Das, Sara Negri
