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,800
₹3,024
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,520
₹7,258
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,520
₹7,258
Binding:
Hardback
Release:
06 Nov 2019
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Proof Analysis43 %
No Review Yet
₹10,107
₹5,761
Binding:
Hardback
Release:
29 Sep 2011
Language:
English
Available
Ships within 2-4 Days Explain..
5.
Investigations into the Predicate Calculus11 % NR
No Review Yet
₹1,465
₹1,304
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