Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Author Alexander Leitsch

10 products
Binding
8
1
1
Price
Availability
1
7
2
Date of issue
?
Computational Logic and Proof Theory Georg Gottlob / Paperback
common.buy 51.66 €
Resolution Methods for the Decision Problem C. Fernmüller / Paperback
common.buy 51.66 €
Automated Model Building Ricardo Caferra / Paperback
common.buy 154.29 €
Automated Reasoning Rajeev Gore / Paperback
common.buy 59.75 €
Methods of Cut-Elimination Alexander Leitsch / Hardback
common.buy 114.35 €
Methods of Cut-Elimination Matthias Baaz / Paperback
common.buy 102.93 €
Automated Reasoning Rajeev Gore / Paperback
common.buy 102.93 €
Resolution Calculus Alexander Leitsch / Paperback
common.buy 50.55 €
First-Order Schemata and Inductive Proof Analysis Alexander Leitsch / Adobe ePub DRM
common.buy 188.27 €
Computational Logic and Proof Theory Georg Gottlob / Paperback
common.buy 51.66 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?