10% off all books and free delivery over £40 - Last Express Posting Date for Christmas: 20th December

Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Books By Renate A. Schmidt - Author

Book Cover for Automated Reasoning with Analytic Tableaux and Related Methods by Renate A Schmidt

Automated Reasoning with Analytic Tableaux and Related Methods

Renate A Schmidt

Paperback