close menu
Bookswagon-24x7 online bookstore
close menu
My Account
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.

11 results found
List viewGrid view
Sort By:
1.
Automated Reasoning with Analytic Tableaux and Related Methods36 %
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
01 Sep 2021
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Mathesis Universalis, Computability and Proof37 %
No Review Yet
₹13,139
₹8,278
Binding:
Paperback
Release:
06 Nov 2020
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Mathesis Universalis, Computability and Proof37 %
No Review Yet
₹13,139
₹8,278
Binding:
Hardback
Release:
06 Nov 2019
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Proof Analysis43 %
No Review Yet
₹11,160
₹6,361
Binding:
Hardback
Release:
29 Sep 2011
Language:
English
Available
Ships within 2-4 Days Explain..
5.
Investigations into the Predicate Calculus12 % NR
No Review Yet
₹1,661
₹1,462
Binding:
Paperback
Release:
01 Dec 2022
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
10.
Proof Analysis32 % NR
No Review Yet
₹10,080
₹6,865
Binding:
Digital download and online
Release:
07 Oct 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA