sara negri

Grid   List

  1. Proof Analysis
    Proof Analysis
    Sara Negri
    Cambridge University Press
    Ebook
    Sofort lieferbar
    This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic system...
    39,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Mathesis Universalis, Computability and Proof
    Mathesis Universalis, Computability and Proof
    Stefania Centrone
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    The contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related idea...
    117,69 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Automated Reasoning with Analytic Tableaux and Related Methods
    Automated Reasoning with Analytic Tableaux and Related Methods
    Anupam Das
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Advances in Modal Logic, Volume 13
    Advances in Modal Logic, Volume 13
    Nicola Olivetti
    College Publications
    Taschenbuch
    Bezug 6-10
    Logic deals with the fundamental notions of truth and falsity. Modal logic arose from thephilosophical study of 'modes of truth' with the two most common modes being 'necessarilytrue' and 'possi...
    39,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Investigations into the Predicate Calculus
    Investigations into the Predicate Calculus
    Oiva Ketonen
    College Publications
    Taschenbuch
    Bezug 6-10
    Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Gentzen ever had. Their encounter took place in 1938--39 in Göttingen, with Ketonen hoping to recei...
    26,73 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Structural Proof Theory
    Structural Proof Theory
    Sara Negri
    Cambridge University Press
    Taschenbuch
    Bezug 11-15
    A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
    79,31 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Mathesis Universalis, Computability and Proof
    Mathesis Universalis, Computability and Proof
    Stefania Centrone
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes 'the mathesis [...] shall deliver the method through which things that are conceivable can ...
    128,39 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Structural Proof Theory
    Structural Proof Theory
    Sara Negri
    Cambridge University Press
    Buch
    Bezug 11-15
    A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
    148,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Proof Analysis
    Proof Analysis
    Sara Negri
    Cambridge University Press
    Taschenbuch
    Bezug 11-15
    This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic system...
    67,43 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Mathesis Universalis, Computability and Proof
    Mathesis Universalis, Computability and Proof
    Stefania Centrone
    Springer International Publishing, Springer International Publishing
    Buch
    Bezug 11-15
    In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes 'the mathesis [...] shall deliver the method through which things that are conceivable can ...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Automated Reasoning with Analytic Tableaux and Related Methods
    Automated Reasoning with Analytic Tableaux and Related Methods
    Sara Negri
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 202...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>