12 results
Type of media (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
12 results

Your search for Sara Negri

  1. Cover: Automated Reasoning with Analytic Tableaux and Related Methods - Springer
    Anupam Das | Sara Negri
    Automated Reasoning with Analytic Tableaux and Related Methods
    30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
    08/2021
    Springer
    9783030860592 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Mathesis Universalis, Computability and Proof - Springer
    Stefania Centrone | Sara Negri | Deniz Sarikaya
    Mathesis Universalis, Computability and Proof
    10/2019
    1st EDN1st Edition
    Springer
    9783030204471 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  3. Cover: Proof Analysis - Cambridge University Press
    Sara Negri | Jan von Plato
    Proof Analysis
    A Contribution to Hilbert's Last Problem
    11/2011
    1st EDN1st Edition
    Cambridge University Press
    9781139142823 (ISBN)
    E-Book
    PDF
    Other editions
    €38.49
    Available for download
  4. Cover: Automated Reasoning with Analytic Tableaux and Related Methods - Springer
    Anupam Das | Sara Negri
    Automated Reasoning with Analytic Tableaux and Related Methods
    30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
    09/2021
    Springer
    9783030860585 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  5. Cover: Mathesis Universalis, Computability and Proof - Springer
    Stefania Centrone | Sara Negri | Deniz Sarikaya
    Mathesis Universalis, Computability and Proof
    11/2020
    Springer
    9783030204495 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €128.39
    Shipment within 7-9 days
  6. Cover: Mathesis Universalis, Computability and Proof - Springer
    Stefania Centrone | Sara Negri | Deniz Sarikaya
    Mathesis Universalis, Computability and Proof
    11/2019
    Springer
    9783030204464 (ISBN)
    Book
    Hardback
    Other editions
    €128.39
    Shipment within 7-9 days
  7. Cover: Proof Analysis - Cambridge University Press
    Sara Negri | Jan von Plato
    Proof Analysis
    A Contribution to Hilbert's Last Problem
    06/2014
    Cambridge University Press
    9781107417236 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €57.60
    Shipment within 15-20 days
  8. Cover: Investigations into the Predicate Calculus - College Publications
    Oiva Ketonen | Sara Negri | Jan von Plato
    Investigations into the Predicate Calculus
    12/2022
    College Publications
    9781848904071 (ISBN)
    Book
    Paperback/Softback
    €18.50
    Shipment within 10-20 days
  9. Cover: Advances in Modal Logic, Volume 13 - College Publications
    Nicola Olivetti | Rineke Verbrugge | Sara Negri
    Advances in Modal Logic, Volume 13
    07/2020
    College Publications
    9781848903418 (ISBN)
    Book
    Paperback/Softback
    €29.70
    Shipment within 10-20 days
  10. Cover: Proof Analysis - Cambridge University Press
    Sara Negri | Jan von Plato
    Proof Analysis
    A Contribution to Hilbert's Last Problem
    09/2011
    Cambridge University Press
    9781107008953 (ISBN)
    Book
    Hardback
    Other editions
    €122.50
    Shipment within 15-20 days
  11. Cover: Structural Proof Theory - Cambridge University Press
    Sara Negri | Jan von Plato
    Structural Proof Theory
    07/2008
    Cambridge University Press
    9780521068420 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €68.00
    Shipment within 15-20 days
  12. Cover: Structural Proof Theory - Cambridge University Press
    Sara Negri | Jan von Plato
    Structural Proof Theory
    06/2001
    Cambridge University Press
    9780521793070 (ISBN)
    Book
    Hardback
    Other editions
    €129.40
    Shipment within 15-20 days