Hoppa till sidans huvudinnehåll

Sara Negri – författare

Visar alla böcker från författaren Sara Negri.
9 produkter
Sara Negri, Jan von Plato - Structural Proof Theory, Häftad

Structural Proof Theory

AvSara Negri,Jan von Plato

Häftad, Engelska, 2008

779 kr

Skickas inom 7-10 vardagar

Sara Negri, Jan von Plato - Structural Proof Theory, Inbunden

Structural Proof Theory

AvSara Negri,Jan von Plato

Inbunden, Engelska, 2001

1 739 kr

Skickas inom 7-10 vardagar

Sara Negri, Jan von Plato - Proof Analysis, Inbunden

Proof Analysis

A Contribution to Hilbert's Last Problem

AvSara Negri,Jan von Plato

Inbunden, Engelska, 2011

1 739 kr

Skickas inom 7-10 vardagar

Sara Negri, Jan von Plato - Proof Analysis, Häftad

Proof Analysis

A Contribution to Hilbert's Last Problem

AvSara Negri,Jan von Plato

Häftad, Engelska, 2014

779 kr

Skickas inom 7-10 vardagar

Nicola Olivetti, Rineke Verbrugge, Sara Negri - Advances in Modal Logic, Volume 13, Häftad

Advances in Modal Logic, Volume 13

AvNicola Olivetti,Rineke Verbruggem. fl.

Häftad, Engelska, 2020

389 kr

Skickas inom 5-8 vardagar

Oiva Ketonen, Sara Negri, Jan Von Plato - Investigations into the Predicate Calculus, Häftad

Investigations into the Predicate Calculus

AvOiva Ketonen,Sara Negrim. fl.

Häftad, Engelska, 2022

259 kr

Skickas inom 5-8 vardagar

Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster - Mathesis Universalis, Computability and Proof, Inbunden

Mathesis Universalis, Computability and Proof

AvStefania Centrone,Sara Negrim. fl.

Inbunden, Engelska, 2019

1 689 kr

Skickas inom 10-15 vardagar

Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster - Mathesis Universalis, Computability and Proof, Häftad

Mathesis Universalis, Computability and Proof

AvStefania Centrone,Sara Negrim. fl.

Häftad, Engelska, 2020

1 689 kr

Skickas inom 10-15 vardagar

Anupam Das, Sara Negri - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad
Del 12842 - Lecture Notes in Computer Science

Automated Reasoning with Analytic Tableaux and Related Methods

30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

AvAnupam Das,Sara Negri

Häftad, Engelska, 2021

729 kr

Skickas inom 10-15 vardagar