No products in the cart.
Return to shop
Showing all 2 results
eBook PDF
Automated Generation of Analytic Calculi for Logics with Linearity 1st Edition by Agata Ciabattoni ISBN 9783540301240
Density Elimination and Rational Completeness for First-Order Logics 1st Edition by Agata Ciabattoni, George Metcalfe ISBN 9783540727347
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
