Negri, Sara, 1967-....
Negri, Sara
Sara Negri
VIAF ID: 55374841 ( Personal )
Permalink: http://viaf.org/viaf/55374841
Preferred Forms
- 100 1 _ ‡a Negri, Sara
-
- 100 1 _ ‡a Negri, Sara
-
-
- 100 1 _ ‡a Negri, Sara ‡d 1967-
-
- 100 1 _ ‡a Negri, Sara, ‡d 1967-
-
-
-
- 100 1 _ ‡a Negri, Sara, ‡d 1967-....
- 100 0 _ ‡a Sara Negri
4xx's: Alternate Name Forms (3)
5xx's: Related Names (2)
- 510 2 _ ‡a Helsingin Yliopisto
- 510 2 _ ‡a Helsingin yliopisto ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
The dynamical status of axioms : from proofs to models. | |
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique | |
Mathesis universalis, computability and proof | |
On the proof theory of conditional logics | |
Proof analysis : a contribution to Hilbert's last problem | |
Le statut dynamique des axiomes : des preuves aux modèles | |
Structural proof theory | |
Théorie de la démonstration des logiques conditionnelles. | |
XPath-like Query Logics : Proof Systems and Real-World Applicability. |