Person · Open Library
- Works
- 4
Top works
- Proof Analysis
- Automated Reasoning with Analytic Tableaux and Related Methods
- Mathesis Universalis, Computability and Proof
- Structural proof theory
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
- Global burden of 369 diseases and injuries in 204 countries and territories, 1990–2019: a systematic analysis for the Global Burden of Disease Study 2019
· 2020 · cited 15,380x
- Global burden of bacterial antimicrobial resistance in 2019: a systematic analysis
· 2022 · cited 13,134x
- The Multidimensional Scale of Perceived Social Support
· 1988 · cited 10,165x
- Global Burden of Cardiovascular Diseases and Risk Factors, 1990–2019
· 2020 · cited 9,762x
- Activating Mutations in the Epidermal Growth Factor Receptor Underlying Responsiveness of Non–Small-Cell Lung Cancer to Gefitinib
· 2004 · cited 9,523x
via Crossref · CC0
Wikidata facts
Show 1 more fact
- date of birth
- 1967-01-01
via Wikidata · CC0
Connections
Mathematical Reviews
Entity
zbMATH Open
Entity
Italy
Country
Padua
Entity
digital object identifier
Entity
mathematical logic
Entity
Ludwig-Maximilians-Universität München
Entity
JSTOR
Organization
University of Helsinki
Entity
bibcode
Entity
University of Padua
Entity
Google Scholar
Entity
Mathematics Genealogy Project
Entity
Q22908627
Entity
Academia Europaea
Entity
University of Genoa
Entity
proof theory
Entity
Alexander von Humboldt Foundation
Entity
Categories
1967 births20th-century Italian philosophers21st-century Italian philosophersAcademic staff of the University of HelsinkiFinnish mathematiciansFinnish philosophersItalian expatriates in FinlandItalian mathematiciansItalian women philosophersLiving peopleMathematical logiciansMembers of Academia EuropaeaProof theoristsUniversity of Padua alumniWomen logiciansWomen mathematicians