No products in the cart.
Return to shop
Showing the single result
eBook PDF
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation 1st Edition by Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato ISBN 9783540301240
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
