Sara Negri – författare
Visar alla böcker från författaren Sara Negri. Handla med fri frakt och snabb leverans.
13 produkter
Structural Proof Theory
Häftad, 2008
732 kr
Lägg i varukorg
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. …
Structural Proof Theory
Inbunden, 2001
1593 kr
Lägg i varukorg
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. …
Proof Analysis
A Contribution to Hilbert's Last Problem
Inbunden, 2011
1814 kr
Lägg i varukorg
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 systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory …
Proof Analysis
A Contribution to Hilbert's Last Problem
Häftad, 2014
716 kr
Lägg i varukorg
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 systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory …
Advances in Modal Logic, Volume 13
Av Nicola Olivetti, Rineke Verbrugge m. fl.
Häftad, 2020
298 kr
Lägg i varukorg
Investigations into the Predicate Calculus
Av Oiva Ketonen, Sara Negri m. fl.
Häftad, 2022
203 kr
Lägg i varukorg
Mathesis Universalis, Computability and Proof
Av Stefania Centrone, Sara Negri m. fl.
Inbunden, 2019
1310 kr
Lägg i varukorg
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” …
Mathesis Universalis, Computability and Proof
Av Peter M. Schuster, Deniz Sarikaya m. fl.
E-bok, 2019
1785 kr
Lägg i varukorg
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” …
Mathesis Universalis, Computability and Proof
Av Stefania Centrone, Sara Negri m. fl.
Häftad, 2020
1310 kr
Lägg i varukorg
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” …
Automated Reasoning with Analytic Tableaux and Related Methods
30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings
Av Anupam Das, Sara Negri
Häftad, 2021
566 kr
Lägg i varukorg
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.The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and …
Automated Reasoning with Analytic Tableaux and Related Methods
30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings
Av Sara Negri, Anupam Das
E-bok, 2021
739 kr
Lägg i varukorg
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. The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and …
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Av Armin Biere, Carsten Lutz m. fl.
Häftad, 2026
456 kr
Lägg i varukorg
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 …
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
Av Armin Biere, Carsten Lutz m. fl.
Häftad, 2026
456 kr
Lägg i varukorg
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 …
