Humburger Icon
Let's Explore, Bibiliophile
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
A Leitsch

A Leitsch

30 results found
List viewGrid view
Sort By:
1.
First-Order Schemata and Inductive Proof Analysis37 % NR
No Review Yet
₹19,968
₹12,580
Binding:
Hardback
Release:
03 Jan 2026
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Methods of Cut-Elimination49 %
Publisher: Springer
No Review Yet
₹11,399
₹5,813
Binding:
Paperback
Release:
25 Feb 2013
Language:
English
Available
Ships within 14-16 Days Explain..
3.
The Resolution Calculus36 %
No Review Yet
₹5,724
₹3,663
Binding:
Paperback
Release:
28 Sep 2011
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Methods of Cut-Elimination49 %
Publisher: Springer
No Review Yet
₹11,399
₹5,813
Binding:
Hardback
Release:
17 Jan 2011
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Resolution Methods for the Decision Problem36 %
No Review Yet
₹5,724
₹3,663
Binding:
Paperback
Release:
29 Jul 1993
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Automated Model Building53 %
No Review Yet
₹21,449
₹10,081
Binding:
Hardback
Release:
13 Sep 2004
Language:
English
Available
Ships within 2-4 Days Explain..
7.
Automated Model Building50 %
Publisher: Springer
No Review Yet
₹17,099
₹8,550
Binding:
Paperback
Release:
05 Dec 2010
Language:
English
Available
Ships within 14-16 Days Explain..
8.
Automated Reasoning37 %
No Review Yet
₹11,449
₹7,213
Binding:
Paperback
Release:
06 Jun 2001
Language:
English
Available
Ships within 14-16 Days Explain..
9.
Besteuerung von natürlichen Personen und Personengesellschaften36 %
Available
Ships within 14-16 Days Explain..
13.
Automated ReasoningNR
Publisher: Springer
No Review Yet
₹5,186
Binding:
Paperback
Release:
15 Jan 2014
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
15.
The Resolution Calculus47 %
No Review Yet
₹7,508
₹3,979
Binding:
Hardback
Release:
16 Dec 1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Automated Model Building
Publisher: Springer London
No Review Yet
₹0
Binding:
Digital (delivered electronically)
Release:
01 Oct 2005
Out of Stock
Notify me when this book is in stockNotify Me
17.
Computational Logic and Proof Theory
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
11 Sep 2014
Out of Stock
Notify me when this book is in stockNotify Me
18.
Polen Und Österreich Im 17. Jahrhundert
Publisher: Bohlau Verlag
No Review Yet
₹0
Binding:
Digital (delivered electronically)
Release:
19 Feb 2015
Language:
German
Out of Stock
Notify me when this book is in stockNotify Me
19.
Manover in Shilo: Abenteuer deutscher Soldaten in Kanada
No Review Yet
₹247
Binding:
Paperback
Release:
10/2/2009
Language:
German
Out of Stock
Notify me when this book is in stockNotify Me
20.
Automated Model Building
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results
ASK VIDYA