Sara Negri

Sara Negri (born January 21, 1967) is a mathematical logician who studies proof theory. She is Italian, worked in Finland for several years, where she was a professor of theoretical philosophy in the University of Helsinki, and currently holds a position as professor of mathematical logic at the University of Genoa. Provided by Wikipedia
Showing 1 - 9 results of 9 for search 'Negri, Sara', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Structural proof theory

    Structural proof theory by Negri, Sara 1967-, Plato, Jan von 1951-

    Published 2008
    Indexes
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Structural proof theory

    Structural proof theory by Negri, Sara 1967-, Plato, Jan von 1951-

    Published 2001
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Structural proof theory

    Structural proof theory by Negri, Sara 1967-

    Published 2001
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Proof analysis a contribution to Hilbert's last problem

    Proof analysis a contribution to Hilbert's last problem by Negri, Sara 1967-, Plato, Jan von 1951-

    Published 2011
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Proof analysis a contribution to Hilbert's last problem

    Proof analysis a contribution to Hilbert's last problem by Negri, Sara 1967-, Plato, Jan von 1951-

    Published 2011
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Automated reasoning with analytic tableaux and related methods 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, proceedings

    Automated reasoning with analytic tableaux and related methods 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, proceedings

    Published 2021
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  7. 7
    Automated reasoning with analytic tableaux and related methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

    Automated reasoning with analytic tableaux and related methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

    Published 2021
    Other Authors:
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Mathesis Universalis, Computability and Proof

    Mathesis Universalis, Computability and Proof

    Published 2019
    Other Authors:
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  9. 9
    Mathesis Universalis, Computability and Proof

    Mathesis Universalis, Computability and Proof

    Published 2019
    Other Authors:
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: