CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 15 of 15 Results
1.
Methods of Cut-Elimination (Trends in Logic)
Methods of Cut-Elimination (Trends in Logic) by Leitsch, Alexander, Baaz, M... ISBN: 9789400703193 List Price: $139.00
$103.17 (Save 25%)
2.
Methods of Cut-Elimination
Methods of Cut-Elimination by Baaz, Matthias, Leitsch, Al... ISBN: 9789400734975 List Price: $139.00
$103.17 (Save 25%)
3.
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, Au...
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, Au... by Gottlob, G. Colloquim, Leit... ISBN: 9783540633853 List Price: $79.95
$52.33 (Save 34%)
4.
Automated Model Building
Automated Model Building by Caferra, Ricardo, Leitsch, ... ISBN: 9789048166961 List Price: $189.00
$155.49 (Save 17%)
5.
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series) by Alexander Leitsch ISBN: 9783642644733 List Price: $99.00
$52.33 (Save 47%)
6.
Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Repub...
Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Repub... by Gottlob, Georg, Leitsch, Al... ISBN: 9780387571843 List Price: $55.95

OUT OF STOCK

See Availability on Amazon
7.
Automated Reasoning Proceedings of the First International Joint Conference, Ijcar 2001 Sien...
Automated Reasoning Proceedings of the First International Joint Conference, Ijcar 2001 Sien... by Gore, Rajeev, Leitsch, Alex... ISBN: 9783540422549 List Price: $105.00
$103.17 (Save 1%)
8.
Resolution Calculus
Resolution Calculus by Leitsch, Alexander ISBN: 9783540618829 List Price: $59.95
$64.45
9.
Resolution Calculus
Resolution Calculus by Leitsch, Alexander ISBN: 9783642606069 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
10.
Computational Logic and Proof Theory
Computational Logic and Proof Theory by Gottlob, Georg, Leitsch, Al... ISBN: 9783662185575 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
11.
Automated Model Building
Automated Model Building by Caferra, Ricardo, Leitsch, ... ISBN: 9789401570534 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
12.
Automated Reasoning
Automated Reasoning by Gore, Rajeev, Leitsch, Alex... ISBN: 9783662171196 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
13.
Computational Logic and Proof Theory : Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Repu...
Computational Logic and Proof Theory : Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Repu... by Gottlob, Georg, Leitsch, Al... ISBN: 9783662183151 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
14.
Resolution Methods for the Decision Problem
Resolution Methods for the Decision Problem by Fermuller, C., Leitsch, Ale... ISBN: 9780387567327 List Price: $54.95

OUT OF STOCK

See Availability on Amazon
15.
Automated Model Building
Automated Model Building by Caferra, Ricardo, Leitsch, ... ISBN: 9781402026522 List Price: $189.00
$129.73 (Save 31%)