Sara Negri

Sara NegriSara Negri is Docent of Logic at the University of Helsinki. She is the author of Structural Proof Theory (Cambridge University Press, 2001, with Jan von Plato) and she has also written several research papers on mathematical and philosophical logic.

10 results found
List viewGrid view
Sort By:
1.
Automated Reasoning with Analytic Tableaux and Related Methods37 %
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
01 Sep 2021
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Mathesis Universalis, Computability and Proof37 %
No Review Yet
₹11,256
₹7,091
Binding:
Paperback
Release:
06 Nov 2020
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Mathesis Universalis, Computability and Proof37 %
No Review Yet
₹11,256
₹7,091
Binding:
Hardback
Release:
06 Nov 2019
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Structural Proof Theory54 %
No Review Yet
₹7,986
₹3,674
Binding:
Hardback
Release:
18 Jun 2001
Language:
English
Available
Ships within 1-2 Days Explain..
5.
Proof Analysis43 %
No Review Yet
₹8,204
₹4,676
Binding:
Hardback
Release:
29 Sep 2011
Language:
English
Available
Ships within 2-4 Days Explain..
6.
Investigations into the Predicate Calculus12 % NR
No Review Yet
₹1,431
₹1,259
Binding:
Paperback
Release:
01 Dec 2022
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
10.
Proof Analysis32 % NR
No Review Yet
₹10,080
₹6,865
Binding:
Digital (delivered electronically)
Release:
07 Oct 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found